TreeView Knowledge Base Browser

appearance as argument number 1

(documentation older EnglishLanguage "(older ?OBJ1 ?OBJ2) means that ?OBJ1 is older than ?OBJ2, i.e. the age of ?OBJ1 is greaterThan the age of ?OBJ2.")	Mid-level-ontology.kif 382-383
(instance older BinaryPredicate)	Mid-level-ontology.kif 384-384	older is an instance of binary predicate
(domain older 1 Object)	Mid-level-ontology.kif 385-385	The number 1 argument of older is an instance of object
(domain older 2 Object)	Mid-level-ontology.kif 386-386	The number 2 argument of older is an instance of object

appearance as argument number 2

(format EnglishLanguage older "%2 is %n an older of %1")	domainEnglishFormat.kif 1833-1833
(format ChineseTraditionalLanguage older "%2 %n 是 %1 的 older ")	domainEnglishFormat.kif 1834-1834
(format ChineseLanguage older "%2 %n 是 %1 的 older ")	domainEnglishFormat.kif 1835-1835
(termFormat EnglishLanguage older "older")	domainEnglishFormat.kif 42041-42041
(termFormat ChineseTraditionalLanguage older "較舊的")	domainEnglishFormat.kif 42042-42042
(termFormat ChineseLanguage older "较旧的")	domainEnglishFormat.kif 42043-42043

antecedent

(=>
    (older ?O1 ?O2)
    (exists (?N1 ?N2 ?U)
        (and
            (age ?O1
                (MeasureFn ?N1 ?U))
            (age ?O2
                (MeasureFn ?N2 ?U))
            (greaterThan ?N1 ?N2))))

Mid-level-ontology.kif 388-394

If X is an older of Y, then there exist Z, W and V such that the age of Y is Z V(s) and the age of X is W V(s) and Z is greater than W

consequent

(=>
(parent ?CHILD ?PARENT)
(older ?PARENT ?CHILD))

Mid-level-ontology.kif 396-398

If X is a parent of Y, then Y is an older of X

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: