(=>     (elevation ?OBJECT ?HEIGHT)     (exists (?DATUM)         (and             (properPart ?DATUM SeaLevel)             (orientation ?OBJECT ?DATUM Vertical)             (distance ?OBJECT ?DATUM ?HEIGHT))))	Geography.kif 1902-1908	elevation objet and mesure de longueur objet objet est une partie de SeaLevel objet est Vertical � objet la distance entre objet et objet est mesure de longueur
(=>     (equal         (MeasureFn ?X PoundForce)         (JankaHardnessFn ?CLASS))     (modalAttribute         (exists (?T ?W ?P ?B ?H ?S)             (and                 (instance ?T ?CLASS)                 (part ?W ?T)                 (instance ?W Wood)                 (instance ?P Pushing)                 (destination ?P ?W)                 (instance ?B Ball)                 (material ?B Steel)                 (patient ?P ?B)                 (sphereRadius ?B                     (MeasureFn 5.64 Millimeter))                 (result ?P ?H)                 (instance ?H HoleRegion)                 (part ?H ?W)                 (surface ?S ?W)                 (distance ?S ?H                     (MeasureFn 5.64 Millimeter))                 (measure ?P                     (MeasureFn ?X PoundForce)))) Likely))	Mid-level-ontology.kif 10397-10420	Nombre r�el PoundForce(s) est JankaHardnessFn BotanicalTree l'argument entit� entit�, entit�, entit�, entit� and entit� entit� est une instance de BotanicalTree entit� est une partie de entit� entit� est une instance de Wood entit� est une instance de Pushing entit� aboutit � entit� entit� est une instance de Ball entit� est fait de Steel entit� est un patient de entit� sphereRadius entit� and 5.64 Millimeter(s) entit� est le resultat de entit� entit� est une instance de trou entit� est une partie de entit� entit� est une surface de entit� la distance entre entit� et entit� est 5.64 Millimeter(s) la mesure de entit� est nombre r�el PoundForce(s) a la force modale de Likely
(=>     (instance ?AREA UniformPerimeterArea)     (exists (?WIDTH)         (distance             (InnerBoundaryFn ?AREA)             (OuterBoundaryFn ?AREA) ?WIDTH)))	Geography.kif 820-823	R�gion est une instance de UniformPerimeterArea mesure de longueur la distance entre InnerBoundaryFn r�gion et OuterBoundaryFn r�gion est mesure de longueur
(=>     (waveHeight ?WW ?X)     (exists (?WATER ?CREST ?TROUGH ?U)         (and             (instance ?WATER BodyOfWater)             (eventLocated ?WW ?WATER)             (part ?CREST ?WATER)             (part ?TROUGH ?WATER)             (distance ?CREST ?TROUGH ?X)             (not                 (exists (?A ?AH)                     (and                         (part ?A ?WATER)                         (altitude ?A ?CREST                             (MeasureFn ?AH ?U))                         (greaterThan ?AH 0.0))))             (not                 (exists (?B ?BH)                     (and                         (part ?B ?WATER)                         (altitude ?TROUGH ?B                             (MeasureFn ?BH ?U))                         (greaterThan ?BH 0.0)))))))	Weather.kif 1937-1957	waveHeight WaterWave and mesure de longueur objet objet, objet and unit� de mesure objet est une instance de BodyOfWater eventLocated WaterWave and objet objet est une partie de objet objet est une partie de objet la distance entre objet et objet est mesure de longueur objet objetH objet est une partie de objet le altitude de objet est objet objetH est plus grand que 0.0 objet objetH objet est une partie de objet le altitude de objet est objet objetH est plus grand que 0.0
(=>     (width ?OBJECT ?WIDTH)     (exists (?SIDE1 ?SIDE2)         (and             (side ?SIDE1 ?OBJECT)             (side ?SIDE2 ?OBJECT)             (distance ?SIDE1 ?SIDE2 ?WIDTH))))	Merge.kif 9884-9890	La largeur de objet en une partie est mesure de longueur objet en une partie objet en une partie le cot� de objet en une partie est objet en une partie le cot� de objet en une partie est objet en une partie la distance entre objet en une partie et objet en une partie est mesure de longueur

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners