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 | O argumento numero 1 de covers e' uma instancia de Objeto |
(domain covers 2 Object) | Mid-level-ontology.kif 29733-29733 | O argumento numero 2 de covers e' uma instancia de Objeto |
(instance covers BinaryPredicate) | Mid-level-ontology.kif 29729-29729 | covers e' uma instancia de Predicado Binario |
(instance covers SpatialRelation) | Mid-level-ontology.kif 29731-29731 | covers e' uma instancia de Relacao Espacial |
(instance covers TransitiveRelation) | Mid-level-ontology.kif 29730-29730 | covers e' uma instancia de Relacao Transitiva |
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 |
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 | Entidade e' uma instancia de Parte do Corpo Bare e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa covers Entidade and Entidade vale durante Posicao Temporal |
(=> (and (instance ?C Covering) (patient ?C ?P) (instrument ?C ?I)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (covers ?I ?P))) |
Mid-level-ontology.kif 29746-29753 | |
(=> (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 | |
(=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 4742-4749 | |
(=> (instance ?CLOTHING Clothing) (hasPurpose ?CLOTHING (exists (?H ?P) (and (instance ?H Animal) (part ?P ?H) (covers ?CLOTHING ?P))))) |
Merge.kif 15936-15943 | |
(=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 5920-5927 | |
(=> (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 | |
(=> (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 |
|
(=> (instance ?V Veneer) (hasPurpose ?V (exists (?OBJ) (covers ?V ?OBJ)))) |
Mid-level-ontology.kif 4771-4775 |
![]() |
![]() |