TreeView Knowledge Base Browser - adjacentOrientation

appearance as argument number 1

(instance adjacentOrientation BinaryPredicate)	Hotel.kif 940-940	adjacent orientation is an instance of binary predicate
(documentation adjacentOrientation EnglishLanguage "(adjacentOrientation ?OBJ1 ?OBJ2) means that ?OBJ1 has orientation Adjacent to ?OBJ2")	Hotel.kif 941-942	adjacent orientation is an instance of binary predicate
(domain adjacentOrientation 1 Object)	Hotel.kif 944-944	The number 1 argument of adjacent orientation is an instance of object
(domain adjacentOrientation 2 SetOrClass)	Hotel.kif 945-945	The number 2 argument of adjacent orientation is an instance of set or class

appearance as argument number 2

(termFormat EnglishLanguage adjacentOrientation "adjacent orientation")	Hotel.kif 943-943
(format EnglishLanguage adjacentOrientation "%1 is adjacent to %2")	domainEnglishFormat.kif 2700-2700
(format ChineseTraditionalLanguage adjacentOrientation "%1 是對於 %2 adjacent ")	domainEnglishFormat.kif 2701-2701
(format ChineseLanguage adjacentOrientation "%1 是对于 %2 adjacent ")	domainEnglishFormat.kif 2702-2702

antecedent

(=>
    (adjacentOrientation ?OBJ1 ?OBJ2)
    (exists (?X)
        (and
            (instance ?X ?OBJ2)
            (orientation ?OBJ1 ?X Adjacent))))

If X is adjacent to Y, then there exists Z such that Z is an instance of Y and X is adjacent to Z