TreeView Knowledge Base Browser - covers

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 29735-29738
(domain covers 1 Object)	Mid-level-ontology.kif 29732-29732	Die Zahl 1 Argument von covers ist ein fall von Object %n{nicht}
(domain covers 2 Object)	Mid-level-ontology.kif 29733-29733	Die Zahl 2 Argument von covers ist ein fall von Object %n{nicht}
(instance covers BinaryPredicate)	Mid-level-ontology.kif 29729-29729	covers ist ein fall von BinaryPredicate %n{nicht}
(instance covers SpatialRelation)	Mid-level-ontology.kif 29731-29731	covers ist ein fall von SpatialRelation %n{nicht}
(instance covers TransitiveRelation)	Mid-level-ontology.kif 29730-29730	covers ist ein fall von TransitiveRelation %n{nicht}

appearance as argument number 2

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

antecedent

(=>
    (and
        (covers ?A ?B)
        (superficialPart ?S ?B))
    (meetsSpatially ?A ?S))

Mid-level-ontology.kif 29740-29744

Wenn covers Object and ** Object und ** Object ist ein oberflaechliches teil von ** ** Object %n{nicht},
dann ** Object schliesst ** ** Object raeumlich an

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 30166-30176	Entity ist ein fall von BodyPart %n{nicht} und Bare ist ein attribut von Entity %n{nicht} haelt waehrend TimePosition %n{nicht} genau dann wenn es gibt nicht entity um entity ist ein fall von Clothing %n{nicht} und covers entity and Entity haelt waehrend TimePosition %n{nicht}
(=> (and (instance ?C Covering) (patient ?C ?P) (instrument ?C ?I)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (covers ?I ?P)))	Mid-level-ontology.kif 29746-29753	Wenn Process ist ein fall von Covering %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist ein instrument fuer Process %n{nicht}, dann covers Object and Entity haelt waehrend sofort nach die zeit des Bestehens von ** Process %n{nicht}
(=> (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 30148-30161	Wenn Clothed ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht}, dann es gibt nicht entity um entity ist ein fall von ReproductiveBody %n{nicht} und entity ist ein teil von entity %n{nicht} und es gibt nicht entity um entity ist ein fall von Clothing %n{nicht} und covers entity and entity haelt waehrend TimePosition %n{nicht}
(=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 4742-4749	Wenn Object ist ein fall von Iceberg %n{nicht}, dann es gibt Object und Object um Object ist ein fall von Ice %n{nicht} und most Object and Object und Object ist ein fall von BodyOfWater %n{nicht} und covers Object and ** Object
(=> (instance ?CLOTHING Clothing) (hasPurpose ?CLOTHING (exists (?H ?P) (and (instance ?H Animal) (part ?P ?H) (covers ?CLOTHING ?P)))))	Merge.kif 15936-15943	Wenn Physical ist ein fall von Clothing %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Animal %n{nicht} und entity ist ein teil von entity %n{nicht} und covers Physical and ** entity %n{nicht}
(=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 5920-5927	Wenn Object ist ein fall von Shoal %n{nicht}, dann es gibt Object und Object um Object ist ein fall von LandForm %n{nicht} und most Object and Object und Object ist ein fall von BodyOfWater %n{nicht} und covers Object and ** Object
(=> (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 4795-4804	Wenn Physical ist ein fall von Tire %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Wheel %n{nicht} und entity ist ein fall von WheelRim %n{nicht} und Physical ist ein teil von entity %n{nicht} und entity ist ein teil von entity %n{nicht} und covers Physical and ** entity %n{nicht}
(=> (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 4461-4471	Wenn Physical ist ein fall von TireChain %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von RoadVehicle %n{nicht} und entity ist ein fall von Wheel %n{nicht} und entity ist ein teil von entity %n{nicht} und entity ist ein fall von Friction %n{nicht} und covers Physical and entity und Physical ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(=> (instance ?V Veneer) (hasPurpose ?V (exists (?OBJ) (covers ?V ?OBJ))))	Mid-level-ontology.kif 4771-4775	Wenn Physical ist ein fall von Veneer %n{nicht}, dann Physical hat Zweck von es gibt entity um covers Physical and ** entity %n{nicht}

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