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 29852-29855
(domain covers 1 Object) Mid-level-ontology.kif 29849-29849 Le nombre 1 argument de covers est une instance de objet
(domain covers 2 Object) Mid-level-ontology.kif 29850-29850 Le nombre 2 argument de covers est une instance de objet
(instance covers BinaryPredicate) Mid-level-ontology.kif 29846-29846 covers est une instance de pr�dicat binaire
(instance covers SpatialRelation) Mid-level-ontology.kif 29848-29848 covers est une instance de relation spatial
(instance covers TransitiveRelation) Mid-level-ontology.kif 29847-29847 covers est une instance de relation transitive

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


(format EnglishLanguage covers "%1 covers %2") Mid-level-ontology.kif 29851-29851
(termFormat EnglishLanguage covers "covers") domainEnglishFormat.kif 65809-65809

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


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

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 30283-30293 Entit� est une instance de partie du corps Bare est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement covers entit� and entit� pendant position temporel
(=>
    (and
        (instance ?C Covering)
        (patient ?C ?P)
        (instrument ?C ?I))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?C))
        (covers ?I ?P)))		 Mid-level-ontology.kif 29863-29870
(=>
    (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 30265-30278
(=>
    (instance ?BERG Iceberg)
    (exists (?PART ?WATER)
        (and
            (instance ?PART Ice)
            (most ?PART ?BERG)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))		 Geography.kif 4644-4651
(=>
    (instance ?CLOTHING Clothing)
    (hasPurpose ?CLOTHING
        (exists (?H ?P)
            (and
                (instance ?H Animal)
                (part ?P ?H)
                (covers ?CLOTHING ?P)))))		 Merge.kif 15798-15805
(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))		 Geography.kif 5821-5828
(=>
    (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 4787-4796
(=>
    (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 4453-4463
(=>
    (instance ?V Veneer)
    (hasPurpose ?V
        (exists (?OBJ)
            (covers ?V ?OBJ))))		 Mid-level-ontology.kif 4738-4742


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