| 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 17027-17031 | |
| (domain faces 1 Object) | Merge.kif 17025-17025 | The number 1 argument of faces is an instance of object |
| (domain faces 2 DirectionalAttribute) | Merge.kif 17026-17026 | The number 2 argument of faces is an instance of directional attribute |
| (instance faces BinaryPredicate) | Merge.kif 17024-17024 | 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 23118-23118 | |
| (termFormat ChineseTraditionalLanguage faces "面孔") | domainEnglishFormat.kif 23117-23117 | |
| (termFormat EnglishLanguage faces "faces") | domainEnglishFormat.kif 23116-23116 | |
| (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 17033-17038 |
|
| consequent |
|
|
| (=> (holdsDuring ?TIME (faces ?PROC ?ATTR1)) (forall (?ATTR2) (=> (holdsDuring ?TIME (faces ?PROC ?ATTR2)) (equal ?ATTR2 ?ATTR1)))) |
Merge.kif 17033-17038 |
|
|
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