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

Formal Language: 



KB Term:  Term intersection
English Word: 

  nearOrientation

Sigma KEE - nearOrientation
nearOrientation

appearance as argument number 1
-------------------------


(documentation nearOrientation EnglishLanguage "(nearOrientation ?OBJ1 ?OBJ2) means that ?OBJ1 has orientation Near to ?OBJ2") Hotel.kif 903-904
(domain nearOrientation 1 Physical) Hotel.kif 907-907
(domainSubclass nearOrientation 2 Physical) Hotel.kif 908-908
(instance nearOrientation BinaryPredicate) Hotel.kif 902-902

appearance as argument number 2
-------------------------


(format ChineseLanguage nearOrientation "%1 是 near %2 ") domainEnglishFormat.kif 3962-3962
(format ChineseTraditionalLanguage nearOrientation "%1 是 near %2 ") domainEnglishFormat.kif 3961-3961
(format EnglishLanguage nearOrientation "%1 is near %2") domainEnglishFormat.kif 3960-3960
(termFormat EnglishLanguage nearOrientation "near orientation") Hotel.kif 905-905

antecedent
-------------------------


(=>
    (nearOrientation ?OBJ1 ?OBJ2)
    (exists (?X)
        (and
            (instance ?X ?OBJ2)
            (orientation ?OBJ1 ?X Near))))
Hotel.kif 910-915


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