Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  centerOfMass

 Sigma KEE - centerOfMass
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
-------------------------


(=>
    (and
        (verticalAxis ?X PlanetEarth)
        (instance ?R Rotating)
        (rotationalAxis ?R ?X)
        (betweenOnPath NorthPole ?C SouthPole ?X))
    (centerOfMass ?C PlanetEarth))		 Geography.kif 5276-5282 If X is the verticalAxis of planet earth, Y is an instance of rotating, X is the axis of Y, and Z is between North Pole and South Pole on path X, then Z is the centerOfMass of planet earth
(=>
    (and
        (pitch ?V
            (MeasureFn ?X AngularDegree))
        (instance ?V Aircraft))
    (exists (?A ?B)
        (and
            (longitudinalAxis ?A ?V)
            (centerOfMass ?B ?V)
            (planeAngleMeasure ?A
                (LevelPlaneFn ?B PlanetEarth)
                (MeasureFn ?X AngularDegree)))))		 Transportation.kif 3240-3250 If X is heading at Y angular degree(s) degree from its level of plane axis. and X is an instance of aircraft, then there exist Z and W such that Z is the longitudinalAxis of X and W is the centerOfMass of X and the angle between Z and the PlaneInSpace is perpendicular to the line formed by W and the centre of the AstronomicalBody. is Y angular degree(s)
(=>
    (and
        (roll ?V
            (MeasureFn ?X AngularDegree))
        (instance ?V Aircraft))
    (exists (?A ?B)
        (and
            (transverseAxis ?A ?V)
            (centerOfMass ?B ?V)
            (planeAngleMeasure ?A
                (LevelPlaneFn ?B PlanetEarth)
                (MeasureFn ?X AngularDegree)))))		 Transportation.kif 3320-3330 If X is rolling at Y angular degree(s) of its longitudinalAxis. and X is an instance of aircraft, then there exist Z and W such that Z is the transverseAxis of X and W is the centerOfMass of X and the angle between Z and the PlaneInSpace is perpendicular to the line formed by W and the centre of the AstronomicalBody. is Y angular degree(s)


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners