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


KB Term:  Term intersection
English Word: 

  SpinalCord

 Sigma KEE - WheelRim
WheelRim(rim)felloe, felly, rim

appearance as argument number 1
-------------------------


(subclass WheelRim Device) Cars.kif 4698-4698 Rim is a subclass of device
(documentation WheelRim EnglishLanguage "The rigid portion of a Wheel on a RoadVehicle that is designed to have a Tire that covers it.") Cars.kif 4699-4700 Rim is a subclass of device

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage WheelRim "rim") Cars.kif 4701-4701
(subclass SimmonsWheelRim WheelRim) Cars.kif 4731-4731 Simmons wheel is a subclass of rim
(subclass FordWheelRim WheelRim) Cars.kif 4795-4795 Ford wheel is a subclass of rim

antecedent
-------------------------


(=>
    (instance ?WR WheelRim)
    (attribute ?WR Rigid))		 Cars.kif 4703-4705 If X is an instance of rim, then rigid is an attribute of X

consequent
-------------------------


(=>
    (instance ?T Tire)
    (hasPurpose ?T
        (exists (?W ?R)
            (and
                (instance ?W Wheel)
                (instance ?R WheelRim)
                (part ?T ?W)
                (part ?R ?W)
                (covers ?T ?R)))))		 Cars.kif 4679-4688 If X is an instance of tire, then X has the purpose there exist Y, Z such that Y is an instance of wheel, Z is an instance of rim, X is a part of Y, Z is a part of Y, and X covers Z
(=>
    (instance ?TC TireChanger)
    (hasPurpose ?TC
        (exists (?P ?T ?R)
            (and
                (instance ?P Putting)
                (instance ?T Tire)
                (instance ?R WheelRim)
                (destination ?P ?R)
                (objectTransferred ?P ?T)
                (instrument ?P ?TC)))))		 Cars.kif 4767-4777 If X is an instance of tire changer, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of putting (3) Z is an instance of tire (4) W is an instance of rim (5) Y ends up at W (6) the object transferred in Y is Z (7) X is an instrument for Y
(=>
    (instance ?TC TireChanger)
    (hasPurpose ?TC
        (exists (?RE ?T ?R)
            (and
                (instance ?RE Removing)
                (instance ?T Tire)
                (instance ?R WheelRim)
                (origin ?RE ?R)
                (objectTransferred ?RE ?T)
                (instrument ?RE ?TC)))))		 Cars.kif 4779-4789 If X is an instance of tire changer, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of removing (3) Z is an instance of tire (4) W is an instance of rim (5) Y originates at W (6) the object transferred in Y is Z (7) X is an instrument for Y


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