| 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. ") | Merge.kif 15952-15955 | |
| (domain covers 1 Object) | Merge.kif 15949-15949 | O argumento numero 1 de covers e' uma instancia de Objeto |
| (domain covers 2 Object) | Merge.kif 15950-15950 | O argumento numero 2 de covers e' uma instancia de Objeto |
| (instance covers BinaryPredicate) | Merge.kif 15946-15946 | covers e' uma instancia de Predicado Binario |
| (instance covers SpatialRelation) | Merge.kif 15948-15948 | covers e' uma instancia de Relacao Espacial |
| (instance covers TransitiveRelation) | Merge.kif 15947-15947 | covers e' uma instancia de Relacao Transitiva |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage covers "%1 covers %2") | Merge.kif 15951-15951 | |
| (termFormat EnglishLanguage covers "covers") | domainEnglishFormat.kif 65803-65803 |
| antecedent |
|
|
| (=> (and (covers ?A ?B) (superficialPart ?S ?B)) (meetsSpatially ?A ?S)) |
Merge.kif 15957-15961 |
| 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 30202-30212 | 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))) |
Merge.kif 15963-15970 | |
| (=> (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 30184-30197 | |
| (=> (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 15986-15993 | |
| (=> (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 4772-4781 | |
| (=> (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 4438-4448 |
|
| (=> (instance ?V Veneer) (hasPurpose ?V (exists (?OBJ) (covers ?V ?OBJ)))) |
Mid-level-ontology.kif 4766-4770 |
|
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 3.0 is open source software produced by Articulate Software and its partners