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

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


(format ChineseLanguage nearOrientation "%1 是 near %2 ") domainEnglishFormat.kif 3967-3967
(format ChineseTraditionalLanguage nearOrientation "%1 是 near %2 ") domainEnglishFormat.kif 3966-3966
(format EnglishLanguage nearOrientation "%1 is near %2") domainEnglishFormat.kif 3965-3965
(termFormat EnglishLanguage nearOrientation "near orientation") Hotel.kif 883-883

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


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


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