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 392-393
(domain older 1 Object)	Mid-level-ontology.kif 395-395	Die Zahl 1 Argument von older ist ein fall von Object %n{nicht}
(domain older 2 Object)	Mid-level-ontology.kif 396-396	Die Zahl 2 Argument von older ist ein fall von Object %n{nicht}
(instance older BinaryPredicate)	Mid-level-ontology.kif 394-394	older ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage older "%2 %n 是 %1 的 older ")	domainEnglishFormat.kif 1831-1831
(format ChineseTraditionalLanguage older "%2 %n 是 %1 的 older ")	domainEnglishFormat.kif 1830-1830
(format EnglishLanguage older "%2 is %n an older of %1")	domainEnglishFormat.kif 1829-1829
(termFormat ChineseLanguage older "较旧的")	domainEnglishFormat.kif 42044-42044
(termFormat ChineseTraditionalLanguage older "較舊的")	domainEnglishFormat.kif 42043-42043
(termFormat EnglishLanguage older "older")	domainEnglishFormat.kif 42042-42042

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 398-404

Wenn older Object and ** Object,
dann es gibt RealNumber, ** RealNumber, and und UnitOfMeasure um das alter von ** Object ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und das alter von ** ** Object ist ** ** RealNumber ** UnitOfMeasure(s) %n{nicht} und ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}

consequent

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

Mid-level-ontology.kif 406-408

Wenn Organism ist das elterntiel von ** Organism %n{nicht},
dann older ** Organism and ** ** Organism

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

KB Term:			Term intersection

English Word: