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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - faces
faces

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


(documentation faces ChineseLanguage "(faces ?OBJ ?DIRECTION)的意思是 ?OBJ 的前方(见 FrontFn)是朝向罗盘方向 ?DIRECTION。 更确切地说,他的意思是如果从 ?DIRECTION 的中心延伸出一条线的话, 那么这条线会在与?OBJ 的后方(见 BackFn)相交之前先和它的前方相交。") chinese_format.kif 3791-3793
(documentation faces EnglishLanguage "(faces ?OBJ ?DIRECTION) means that the front of ?OBJ (see FrontFn) is positioned towards the compass direction ?DIRECTION. More precisely, it means that if a line were extended from the center of ?DIRECTION, the line would intersect with the front of ?OBJ before it intersected with its back (see BackFn).") Merge.kif 15755-15759
(domain faces 1 Object) Merge.kif 15753-15753 domain faces, 1 and Object
(domain faces 2 DirectionalAttribute) Merge.kif 15754-15754 domain faces, 2 and DirectionalAttribute
(instance faces BinaryPredicate) Merge.kif 15752-15752 instance faces and BinaryPredicate

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


(format ChineseLanguage faces "%1 %n{doesn't} faces %2") chinese_format.kif 107-107
(format EnglishLanguage faces "%1 %n{doesn't} face%p{s} %2") english_format.kif 107-107
(termFormat ChineseLanguage faces "面向") chinese_format.kif 108-108
(termFormat ChineseLanguage faces "面孔") domainEnglishFormat.kif 23023-23023
(termFormat ChineseTraditionalLanguage faces "面孔") domainEnglishFormat.kif 23022-23022
(termFormat EnglishLanguage faces "faces") domainEnglishFormat.kif 23021-23021

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


(=>
    (holdsDuring ?TIME
        (faces ?PROC ?ATTR1))
    (forall (?ATTR2)
        (=>
            (holdsDuring ?TIME
                (faces ?PROC ?ATTR2))
            (equal ?ATTR2 ?ATTR1))))
Merge.kif 15761-15766

consequent
-------------------------


(=>
    (holdsDuring ?TIME
        (faces ?PROC ?ATTR1))
    (forall (?ATTR2)
        (=>
            (holdsDuring ?TIME
                (faces ?PROC ?ATTR2))
            (equal ?ATTR2 ?ATTR1))))
Merge.kif 15761-15766


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners