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

Formal Language: 



KB Term:  Term intersection
English Word: 

  covers

Sigma KEE - covers
covers

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


(documentation covers EnglishLanguage "A relationship of partial or complete physical covering, which may be the result of a Covering. To cover an object, the first object must at least roughly conform to the surface of the second object. ") Mid-level-ontology.kif 29251-29254
(domain covers 1 Object) Mid-level-ontology.kif 29248-29248
(domain covers 2 Object) Mid-level-ontology.kif 29249-29249
(instance covers BinaryPredicate) Mid-level-ontology.kif 29245-29245
(instance covers SpatialRelation) Mid-level-ontology.kif 29247-29247
(instance covers TransitiveRelation) Mid-level-ontology.kif 29246-29246

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


(format EnglishLanguage covers "%1 covers %2") Mid-level-ontology.kif 29250-29250

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


(=>
    (and
        (covers ?A ?B)
        (superficialPart ?S ?B))
    (meetsSpatially ?A ?S))
Mid-level-ontology.kif 29256-29260

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


(<=>
    (and
        (instance ?B BodyPart)
        (holdsDuring ?T
            (attribute ?B Bare)))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (covers ?C ?B))))))
Mid-level-ontology.kif 29682-29692
(=>
    (and
        (instance ?C Covering)
        (patient ?C ?P)
        (instrument ?C ?I))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?C))
        (covers ?I ?P)))
Mid-level-ontology.kif 29262-29269
(=>
    (holdsDuring ?T
        (attribute ?A Clothed))
    (holdsDuring ?T
        (not
            (exists (?P)
                (and
                    (instance ?P ReproductiveBody)
                    (part ?P ?A)
                    (not
                        (exists (?C)
                            (and
                                (instance ?C Clothing)
                                (covers ?C ?P)))))))))
Mid-level-ontology.kif 29664-29677
(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 4640-4647
(=>
    (instance ?CLOTHING Clothing)
    (hasPurpose ?CLOTHING
        (exists (?H ?P)
            (and
                (instance ?H Animal)
                (part ?P ?H)
                (covers ?CLOTHING ?P)))))
Merge.kif 15660-15667
(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 5817-5824
(=>
    (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 4790-4799
(=>
    (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 4456-4466
(=>
    (instance ?V Veneer)
    (hasPurpose ?V
        (exists (?OBJ)
            (covers ?V ?OBJ))))
Mid-level-ontology.kif 4521-4525


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 is open source software produced by Articulate Software and its partners