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. ") Mid-level-ontology.kif 27930-27933
(domain covers 1 Object) Mid-level-ontology.kif 27927-27927 The number 1 argument of covers is an instance of object
(domain covers 2 Object) Mid-level-ontology.kif 27928-27928 The number 2 argument of covers is an instance of object
(instance covers BinaryPredicate) Mid-level-ontology.kif 27924-27924 covers is an instance of binary predicate
(instance covers SpatialRelation) Mid-level-ontology.kif 27926-27926 covers is an instance of spatial relation
(instance covers TransitiveRelation) Mid-level-ontology.kif 27925-27925 covers is an instance of transitive relation

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


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

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


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

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 28338-28348 An entity is an instance of body part and Bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position
(=>
    (and
        (instance ?C Covering)
        (patient ?C ?P)
        (instrument ?C ?I))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?C))
        (covers ?I ?P)))
Mid-level-ontology.kif 27941-27948
(=>
    (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 28321-28334
(=>
    (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 4767-4776
(=>
    (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 4426-4436
(=>
    (instance ?V Veneer)
    (hasPurpose ?V
        (exists (?OBJ)
            (covers ?V ?OBJ))))
Mid-level-ontology.kif 5086-5090


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners