Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BackFn |
| appearance as argument number 1 |
|
| (instance BackFn SpatialRelation) | Merge.kif 887-887 | Back is an instance of spatial relation |
| (instance BackFn PartialValuedRelation) | Merge.kif 888-888 | Back is an instance of partial valued relation |
| (instance BackFn UnaryFunction) | Merge.kif 889-889 | Back is an instance of unary function |
| (domain BackFn 1 SelfConnectedObject) | Merge.kif 890-890 | The number 1 argument of back is an instance of self connected object |
| (range BackFn SelfConnectedObject) | Merge.kif 891-891 | The range of back is an instance of self connected object |
| (relatedInternalConcept BackFn FrontFn) | Merge.kif 892-892 | Back is internally related to front |
| (documentation BackFn EnglishLanguage "A Function that maps an Object to the side that is opposite the FrontFn of the Object. Note that this is a partial function, since some Objects do not have sides, e.g. apples and spheres. Note too that the range of this Function is indefinite in much the way that ImmediateFutureFn and ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases.") | Merge.kif 894-901 | Back is internally related to front |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (equal ?B (BackFn ?O)) (not (overlapsSpatially ?B (FrontFn ?O)))) |
Merge.kif 914-919 | If equal X and the back of Y, then X and the front of Y doesn't overlapsSpatially |
| (=> (and (instance ?F Face) (part ?F ?P) (equal ?B (BackFn ?P))) (not (part ?F ?B))) |
Mid-level-ontology.kif 14518-14525 | If X is an instance of face, X is a part of Y, and equal Z and the back of Y, then X is not a part of Z |
| (=> (and (longitudinalAxis ?V ?O) (instance ?O Aircraft) (equal ?F (FrontFn ?O)) (equal ?B (BackFn ?O)) (centerOfMass ?C ?O) (part ?F ?V) (part ?B ?V) (part ?C ?V)) (between ?C ?F ?B)) |
Mid-level-ontology.kif 19362-19372 | If All of the following hold: (1) X is the longitudinalAxis of Y (2) Y is an instance of aircraft (3) equal Z and the front of Y (4) equal W and the back of Y (5) V is the centerOfMass of Y (6) Z is a part of X (7) W is a part of X (8) V is a part of X, then Z is between V and W |
| (=> (and (holdsDuring ?T (and (attribute ?H Supine) (orientation ?H ?O On))) (equal ?B (BackFn ?H))) (meetsSpatially ?B ?O)) |
Anatomy.kif 1836-1843 | If supine is an attribute of X and X is on to Y holds during Z and equal W and the back of X, then W meets Y |
| (=> (and (instance ?C Chest) (part ?C ?P) (equal ?B (BackFn ?P))) (not (part ?C ?B))) |
Anatomy.kif 1845-1852 | If X is an instance of chest, X is a part of Y, and equal Z and the back of Y, then X is not a part of Z |
| consequent |
|
|
|