Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| centerOfMass |
| appearance as argument number 1 |
|
| (instance centerOfMass BinaryPredicate) | Mid-level-ontology.kif 19305-19305 | center of mass is an instance of binary predicate |
| (subrelation centerOfMass part) | Mid-level-ontology.kif 19306-19306 | center of mass is a subrelation of part |
| (documentation centerOfMass EnglishLanguage "In physics, the %centerOfMass of a distribution of mass in space (sometimes referred to as the barycenter or balance point) is the unique point at any given time where the weighted relative position of the distributed mass sums to zero. For a rigid body containing its center of mass, this is the point to which a force may be applied to cause a linear acceleration without an angular acceleration. In the case of a single rigid body, the center of mass is fixed in relation to the body, and if the body has uniform density, it will be located at the centroid. [Wikipedia]") | Mid-level-ontology.kif 19307-19314 | center of mass is a subrelation of part |
| (domain centerOfMass 1 SelfConnectedObject) | Mid-level-ontology.kif 19317-19317 | The number 1 argument of center of mass is an instance of self connected object |
| (domain centerOfMass 2 SelfConnectedObject) | Mid-level-ontology.kif 19318-19318 | The number 2 argument of center of mass is an instance of self connected object |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage centerOfMass "center of mass") | Mid-level-ontology.kif 19315-19315 | |
| (format EnglishLanguage centerOfMass "%1 is the centerOfMass of %2") | Mid-level-ontology.kif 19316-19316 |
| antecedent |
|
|
| (=> (and (verticalAxis ?V ?O) (instance ?O Aircraft) (top ?T ?O) (bottom ?B ?O) (centerOfMass ?C ?O) (part ?T ?V) (part ?B ?V) (part ?C ?V)) (between ?C ?T ?B)) |
Mid-level-ontology.kif 19339-19349 | If All of the following hold: (1) X is the verticalAxis of Y (2) Y is an instance of aircraft (3) the top of Y is Z (4) the bottom of Y is W (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 (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 (transverseAxis ?V ?O) (instance ?O Aircraft) (side ?L ?O) (side ?R ?O) (orientation ?L ?R Left) (orientation ?R ?L Right) (centerOfMass ?C ?O) (part ?L ?V) (part ?R ?V) (part ?C ?V)) (between ?C ?L ?R)) |
Mid-level-ontology.kif 19386-19398 | If All of the following hold: (1) X is the transverseAxis of Y (2) Y is an instance of aircraft (3) a side of Y is Z (4) a side of Y is W (5) Z is left of to W (6) W is right of to Z (7) V is the centerOfMass of Y (8) Z is a part of X (9) W is a part of X (10) V is a part of X, then Z is between V and W |
| consequent |
|
|
|