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 nearOrientation 的 1 数量 是 物理instance
(domainSubclass nearOrientation 2 Physical) Hotel.kif 908-908 nearOrientation 的 2 数量 是 物理subclass
(instance nearOrientation BinaryPredicate) Hotel.kif 902-902 nearOrientation二元谓语instance

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