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

Formal Language: 



KB Term:  Term intersection
English Word: 

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. ") Merge.kif 15977-15980
(domain covers 1 Object) Merge.kif 15974-15974
(domain covers 2 Object) Merge.kif 15975-15975
(instance covers BinaryPredicate) Merge.kif 15971-15971
(instance covers SpatialRelation) Merge.kif 15973-15973
(instance covers TransitiveRelation) Merge.kif 15972-15972

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


(format EnglishLanguage covers "%1 covers %2") Merge.kif 15976-15976
(termFormat EnglishLanguage covers "covers") domainEnglishFormat.kif 65830-65830

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


(=>
    (and
        (covers ?A ?B)
        (superficialPart ?S ?B))
    (meetsSpatially ?A ?S))
Merge.kif 15982-15986
(=>
    (holdsDuring ?T
        (and
            (not
                (exists (?C)
                    (and
                        (instance ?C Clothing)
                        (covers ?C ?F))))
            (instance ?F Foot)
            (part ?F ?A)))
    (holdsDuring ?T
        (attribute ?A Barefoot)))
Mid-level-ontology.kif 31233-31244

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 31292-31302
(=>
    (and
        (instance ?C Covering)
        (patient ?C ?P)
        (instrument ?C ?I))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?C))
        (covers ?I ?P)))
Merge.kif 15988-15995
(=>
    (holdsDuring ?T
        (and
            (attribute ?A Barefoot)
            (instance ?F Foot)
            (part ?F ?A)))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (covers ?C ?F))))))
Mid-level-ontology.kif 31220-31231
(=>
    (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 31274-31287
(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 4811-4818
(=>
    (instance ?CLOTHING Clothing)
    (hasPurpose ?CLOTHING
        (exists (?H ?P)
            (and
                (instance ?H Animal)
                (part ?P ?H)
                (covers ?CLOTHING ?P)))))
Merge.kif 16011-16018
(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 5989-5996
(=>
    (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 ?V Veneer)
    (hasPurpose ?V
        (exists (?OBJ)
            (covers ?V ?OBJ))))
Mid-level-ontology.kif 4839-4843


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