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 29747-29750 | |
(domain covers 1 Object) | Mid-level-ontology.kif 29744-29744 | O argumento numero 1 de covers e' uma instancia de Objeto |
(domain covers 2 Object) | Mid-level-ontology.kif 29745-29745 | O argumento numero 2 de covers e' uma instancia de Objeto |
(instance covers BinaryPredicate) | Mid-level-ontology.kif 29741-29741 | covers e' uma instancia de Predicado Binario |
(instance covers SpatialRelation) | Mid-level-ontology.kif 29743-29743 | covers e' uma instancia de Relacao Espacial |
(instance covers TransitiveRelation) | Mid-level-ontology.kif 29742-29742 | covers e' uma instancia de Relacao Transitiva |
appearance as argument number 2 |
(format EnglishLanguage covers "%1 covers %2") | Mid-level-ontology.kif 29746-29746 | |
(termFormat EnglishLanguage covers "covers") | domainEnglishFormat.kif 65801-65801 |
antecedent |
(=> (and (covers ?A ?B) (superficialPart ?S ?B)) (meetsSpatially ?A ?S)) |
Mid-level-ontology.kif 29752-29756 |
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 30178-30188 | 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 29758-29765 | |
(=> (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 30160-30173 | |
(=> (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 15914-15921 | |
(=> (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 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 4771-4775 |