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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Wheel
Wheel

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


(documentation Wheel EnglishLanguage "A circular Artifact which is a component of LandVehicles and of some Devices.") Mid-level-ontology.kif 3817-3818
(externalImage Wheel "http://articulatesoftware.com/SUMOpictures/transportation/ autos/ Black_n_White/ WHEEL.png") pictureList.kif 838-838
(externalImage Wheel "http://upload.wikimedia.org/wikipedia/commons/e/e6/ Wheel_Iran.jpg") pictureList.kif 200-200
(subclass Wheel Artifact) Mid-level-ontology.kif 3816-3816 Wheel est une sous-classe de artefact

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


(subclass CommodoreWheel Wheel) Cars.kif 4571-4571 CommodoreWheel est une sous-classe de Wheel
(subclass VehicleWheel Wheel) Mid-level-ontology.kif 3811-3811 VehicleWheel est une sous-classe de Wheel
(termFormat ChineseLanguage Wheel "轮") domainEnglishFormat.kif 62973-62973 VehicleWheel est une sous-classe de Wheel
(termFormat ChineseTraditionalLanguage Wheel "輪") domainEnglishFormat.kif 62972-62972 VehicleWheel est une sous-classe de Wheel
(termFormat EnglishLanguage Wheel "wheel") domainEnglishFormat.kif 62971-62971 VehicleWheel est une sous-classe de Wheel

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


(=>
    (and
        (instance ?GUN ArtilleryGun)
        (instance ?W Wheel)
        (part ?W ?GUN))
    (hasPurpose ?W
        (exists (?T)
            (and
                (instance ?T Translocation)
                (objectTransferred ?T ?GUN)
                (instrument ?T ?W)))))		 Mid-level-ontology.kif 1838-1848
(=>
    (and
        (instance ?T Transportation)
        (instance ?W Wheel)
        (instance ?A Automobile)
        (part ?W ?A)
        (instrument ?T ?A)
        (instance ?AB AntilockBrake)
        (instance ?D Decelerating)
        (instrument ?D ?AB)
        (part ?AB ?W))
    (hasPurpose ?AB
        (exists (?R)
            (and
                (instance ?R Rotating)
                (during ?R ?D)))))		 Cars.kif 1292-1307
(=>
    (instance ?W Wheel)
    (shape ?W ConvexRoundShape))		 Military.kif 189-191

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


(=>
    (and
        (instance ?R Rotating)
        (patient ?R ?TRACK)
        (instance ?TRACK ContinuousTrack))
    (exists (?COLL ?MEM ?TREAD ?R2)
        (and
            (instance ?COLL Collection)
            (member ?MEM ?COLL)
            (instance ?MEM Wheel)
            (memberCount ?MEM ?I)
            (greaterThan ?I 2)
            (part ?COLL ?TRACK)
            (part ?TREAD ?TRACK)
            (instance ?TREAD CorpuscularObject)
            (shape ?TREAD LongAndThin)
            (attribute ?TREAD Pliable)
            (located ?COLL ?TREAD)
            (instance ?R2 Rotating)
            (causes ?R2 ?R))))		 Military.kif 193-212
(=>
    (instance ?D Driveshaft)
    (hasPurpose ?D
        (exists (?R1 ?R2 ?W ?A)
            (and
                (instance ?A Automobile)
                (instance ?W Wheel)
                (part ?D ?A)
                (part ?W ?A)
                (instance ?R1 Rotating)
                (patient ?R1 ?D)
                (patient ?R2 ?W)
                (causes ?R1 ?R2)))))		 Cars.kif 2309-2321
(=>
    (instance ?GUN ArtilleryGun)
    (modalAttribute
        (exists (?W)
            (and
                (instance ?W Wheel)
                (part ?W ?GUN))) Likely))		 Mid-level-ontology.kif 1830-1836
(=>
    (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 4848-4857
(=>
    (instance ?TC TireChain)
    (hasPurpose ?TC
        (exists (?V ?W ?F)
            (and
                (instance ?V RoadVehicle)
                (instance ?W Wheel)
                (part ?W ?V)
                (instance ?F Friction)
                (covers ?TC ?W)
                (instrument ?F ?TC)))))		 Cars.kif 4514-4524
(=>
    (instance ?VEHICLE LandVehicle)
    (exists (?WHEEL)
        (and
            (instance ?WHEEL Wheel)
            (part ?WHEEL ?VEHICLE))))		 Mid-level-ontology.kif 3820-3825
(=>
    (instance ?WC WheelChock)
    (hasPurpose ?WC
        (exists (?W ?T)
            (and
                (instance ?W Wheel)
                (holdsDuring ?T
                    (and
                        (meetsSpatially ?WC ?W)
                        (not
                            (exists (?R)
                                (and
                                    (instance ?R Rotating)
                                    (patient ?R ?W))))))))))		 Cars.kif 4382-4395
(=>
    (instance ?X RollawayBed)
    (exists (?WHEEL)
        (and
            (instance ?WHEEL Wheel)
            (part ?WHEEL ?X))))		 Mid-level-ontology.kif 4357-4362
(=>
    (instance ?X Wheelchair)
    (exists (?WHEEL ?SEAT)
        (and
            (instance ?SEAT Seat)
            (instance ?WHEEL Wheel)
            (part ?SEAT ?X)
            (part ?WHEEL ?X))))		 Mid-level-ontology.kif 28029-28036


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



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