Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| faces |
| appearance as argument number 1 |
|
| (instance faces BinaryPredicate) | Merge.kif 17307-17307 | faces is an instance of binary predicate |
| (domain faces 1 Object) | Merge.kif 17308-17308 | The number 1 argument of faces is an instance of object |
| (domain faces 2 DirectionalAttribute) | Merge.kif 17309-17309 | The number 2 argument of faces is an instance of directional attribute |
| (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 17310-17314 | The number 2 argument of faces is an instance of directional attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage faces "faces") | domainEnglishFormat.kif 23092-23092 | |
| (termFormat ChineseTraditionalLanguage faces "面孔") | domainEnglishFormat.kif 23093-23093 | |
| (termFormat ChineseLanguage faces "面孔") | domainEnglishFormat.kif 23094-23094 | |
| (format EnglishLanguage faces "%1 %n{doesn't} face%p{s} %2") | english_format.kif 107-107 |
| antecedent |
|
|
| (=> (holdsDuring ?TIME (faces ?PROC ?ATTR1)) (forall (?ATTR2) (=> (holdsDuring ?TIME (faces ?PROC ?ATTR2)) (equal ?ATTR2 ?ATTR1)))) |
Merge.kif 17316-17321 | If X faces Y holds during Z, then For all Entity W: if X faces W holds during Z, then equal W and Y |
| consequent |
|
|
| (=> (holdsDuring ?TIME (faces ?PROC ?ATTR1)) (forall (?ATTR2) (=> (holdsDuring ?TIME (faces ?PROC ?ATTR2)) (equal ?ATTR2 ?ATTR1)))) |
Merge.kif 17316-17321 | If X faces Y holds during Z, then For all Entity W: if X faces W holds during Z, then equal W and Y |
|