[Person-ontology] KIF vs. CLIF

[Philippe Martin]

> > If you or someone would be so kind, it would be great to see an
> > example of using CLIF to model this: ...
>
> ... [answers that Pat Hayes gave when I was about to send the 
>      translations in KIF below]

The CLIF standard does not seem available anymore for free, even old versions.
Is it available elsewhere than for about 150 USD at
http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=39175

Can't the LISP/KIF quoting mechanism used in my KIF translations below 
be used in IKL (I mean, with the same syntax)? Same question for "=> 
and "<=". From the page on IKL, it seems that no. 


> * Alice is a Person

- (Person Alice)
- (rdf#type Alice Person)


> * A Person is a sub-class of DigitalSubject

- (forall ((?p Person)) (DigitalSubject ?p))
- (rdfs#subClassOf Person DigitalSubject)
//note: since Pat Hayes used "(subClass Person DigitalSubject)"
//      his subClass uses the convention commonly adopted by
//      KIF authors to order parameters in binary relations;
//      authors of graph-based notations generally adopt the 
//      opposite convention, the one used by Pat in
//      "(Haircolor Alice Blonde)"


> * A Person has exactly one hair color attribute

- (forall ((?p Person))
    (exists ?c1 (and (hairColor ?p ?c1)
                     (forall (?c2) (=> (hairColor ?p ?c2) (= ?c1 ?c2))))))
- (owl#functional_property personHairColor)


> * Alice has blonde hair

- (personHairColor Alice blonde)


> * The "Alice has blonde hair" fact was asserted by the DMV

(believer '(personHairColor Alice blonde) DMV) 


> * The "Alice has blonde hair" fact is asserted by the DMV
> to be true until the first of Jan 2010

(believer '(until '(personHairColor Alice blonde) '1/01/2010) DMV)


Philippe