Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  older

Sigma KEE - older
older

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 399-400
(domain older 1 Object) Mid-level-ontology.kif 402-402
(domain older 2 Object) Mid-level-ontology.kif 403-403
(instance older BinaryPredicate) Mid-level-ontology.kif 401-401

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 42042-42042
(termFormat ChineseTraditionalLanguage older "較舊的") domainEnglishFormat.kif 42041-42041
(termFormat EnglishLanguage older "older") domainEnglishFormat.kif 42040-42040

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 405-411

consequent
-------------------------


(=>
    (parent ?CHILD ?PARENT)
    (older ?PARENT ?CHILD))
Mid-level-ontology.kif 413-415


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners