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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 older の数値 1 引数は オブジェクトinstance では %n
(domain older 2 Object) Mid-level-ontology.kif 403-403 older の数値 2 引数は オブジェクトinstance では %n
(instance older BinaryPredicate) Mid-level-ontology.kif 401-401 older2進述語instance では %n

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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