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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of near orientation is an instance of physical
(domainSubclass nearOrientation 2 Physical) Hotel.kif 908-908 The number 2 argument of near orientation is a subclass of physical
(instance nearOrientation BinaryPredicate) Hotel.kif 902-902 near orientation is an instance of binary predicate

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