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 较旧的 的 1 数量 是 客体instance
(domain older 2 Object) Mid-level-ontology.kif 403-403 较旧的 的 2 数量 是 客体instance
(instance older BinaryPredicate) Mid-level-ontology.kif 401-401 较旧的二元谓语instance

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