Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PlaneInSpace
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PlaneInSpace Region) | Mid-level-ontology.kif 28017-28017 | Plane in space is a subclass of region |
| (documentation PlaneInSpace EnglishLanguage "PlaneInSpace is a Region. It is an infite plane where any pair of infinite LineInSpaces that are in the PlaneInSpace must share a single point or be parallel and not equal.") | Mid-level-ontology.kif 28018-28020 | Plane in space is a subclass of region |
| (relatedInternalConcept PlaneInSpace LineInSpace) | Mid-level-ontology.kif 28022-28022 | Plane in space is internally related to line in space |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept PointInSpace PlaneInSpace) | Mid-level-ontology.kif 27904-27904 | Point in space is internally related to plane in space |
| (termFormat EnglishLanguage PlaneInSpace "plane in space") | Mid-level-ontology.kif 28021-28021 | Point in space is internally related to plane in space |
| (range LevelPlaneFn PlaneInSpace) | Mid-level-ontology.kif 28068-28068 | The range of level plane is an instance of plane in space |
| appearance as argument number 3 |
|
|
| (domain planeAngleMeasure 2 PlaneInSpace) | Mid-level-ontology.kif 28143-28143 | The number 2 argument of plane angle measure is an instance of plane in space |
| antecedent |
|
|
| (=> (and (instance ?S PlaneInSpace) (part ?L1 ?S) (instance ?L1 LineInSpace) (part ?L2 ?S) (instance ?L2 LineInSpace) (not (equal ?L1 ?L2)) (not (parallelLinesInSpace ?L1 ?L2))) (exists (?P) (and (instance ?P PointInSpace) (part ?P ?L1) (part ?P ?L2)))) |
Mid-level-ontology.kif 28024-28039 | If All of the following hold: (1) X is an instance of plane in space (2) Y is a part of X (3) Y is an instance of line in space (4) Z is a part of X (5) Z is an instance of line in space (6) equal Y and Z (7) Y and Z are parallel, then there exists W such that W is an instance of point in space, W is a part of Y, and W is a part of Z |
| (=> (and (instance ?S PlaneInSpace) (part ?L1 ?S) (instance ?L1 LineInSpace) (part ?L2 ?S) (instance ?L2 LineInSpace) (not (equal ?L1 ?L2)) (parallelLinesInSpace ?L1 ?L2)) (not (exists (?P) (and (instance ?P PointInSpace) (part ?P ?L1) (part ?P ?L2))))) |
Mid-level-ontology.kif 28041-28056 | If All of the following hold: (1) X is an instance of plane in space (2) Y is a part of X (3) Y is an instance of line in space (4) Z is a part of X (5) Z is an instance of line in space (6) equal Y and Z (7) Y and Z are parallel, then there doesn't exist W such that W is an instance of point in space, W is a part of Y, and W is a part of Z |
|