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

Formal Language: 



KB Term:  Term intersection
English Word: 

  faces

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 16956-16960
(domain faces 1 Object) Merge.kif 16954-16954 The number 1 argument of faces is an instance of object
(domain faces 2 DirectionalAttribute) Merge.kif 16955-16955 The number 2 argument of faces is an instance of directional attribute
(instance faces BinaryPredicate) Merge.kif 16953-16953 faces is an instance of binary predicate

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
(format FrenchLanguage faces "%1 %n{ne} fait %n{pas} face � %2") french_format.kif 76-76
(format ItalianLanguage faces "%1 è davanti a %2") relations-it.txt 107-107
(format JapaneseLanguage faces "%1 が %2 を face%p{s} %n{ない}") japanese_format.kif 1902-1902
(format PortugueseLanguage faces "%1 %n{nao} na %n frente de %2") portuguese_format.kif 28-28
(format de faces "%1 stellet %2 gegenueber") relations-de.txt 124-124
(format hi faces "%1 %2 ke sammukha hai") relations-hindi.txt 147-147
(format ro faces "%1 %n{nu} face%t{este cu faþa} la %2") relations-ro.kif 95-95
(format sv faces "%1 faces %2") relations-sv.txt 75-75
(format tg faces "%1 naghaharap %2") relations-tg.txt 224-224
(termFormat ChineseLanguage faces "面向") chinese_format.kif 108-108
(termFormat ChineseLanguage faces "面孔") domainEnglishFormat.kif 23098-23098
(termFormat ChineseTraditionalLanguage faces "面孔") domainEnglishFormat.kif 23097-23097
(termFormat EnglishLanguage faces "faces") domainEnglishFormat.kif 23096-23096
(termFormat de faces "stelltGegenueber") terms-de.txt 36-36
(termFormat tg faces "naghaharap") relations-tg.txt 225-225

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


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

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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