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	covers の数値 1 引数はオブジェクトの instance では %n
(domain covers 2 Object)	Mid-level-ontology.kif 29733-29733	covers の数値 2 引数はオブジェクトの instance では %n
(instance covers BinaryPredicate)	Mid-level-ontology.kif 29729-29729	covers は 2進述語の instance では %n
(instance covers SpatialRelation)	Mid-level-ontology.kif 29731-29731	covers は空間的関係の instance では %n
(instance covers TransitiveRelation)	Mid-level-ontology.kif 29730-29730	covers は推移関係の instance では %n

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

covers オブジェクト and オブジェクトオブジェクトはオブジェクトの superficial 部分では %n
オブジェクトはオブジェクトと meets %n{ない}

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	エンティティーは体の部分の instance では %n Bare はエンティティーの attribute では %n は時間位置の during holds %n{ない} エンティティーエンティティーは衣類の instance では %n covers エンティティー and エンティティーは時間位置の during holds %n{ない}
(=> (and (instance ?C Covering) (patient ?C ?P) (instrument ?C ?I)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (covers ?I ?P)))	Mid-level-ontology.kif 29746-29753	工程は覆いの instance では %n エンティティーは工程の patient では %n オブジェクトは工程の instrument では %n covers オブジェクト and エンティティーは工程の time の existence のすぐ after の during holds %n{ない}
(=> (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	Clothed はエンティティーの attribute では %n は時間位置の during holds %n{ない} エンティティーエンティティーは生殖体の instance では %n エンティティーはエンティティーの part では %n エンティティーエンティティーは衣類の instance では %n covers エンティティー and エンティティーは時間位置の during holds %n{ない}
(=> (instance ?BERG Iceberg) (exists (?PART ?WATER) (and (instance ?PART Ice) (most ?PART ?BERG) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 4742-4749	オブジェクトは Iceberg の instance では %n オブジェクトオブジェクトオブジェクトは Ice の instance では %n most オブジェクト and オブジェクトオブジェクトは BodyOfWater の instance では %n covers オブジェクト and オブジェクト
(=> (instance ?CLOTHING Clothing) (hasPurpose ?CLOTHING (exists (?H ?P) (and (instance ?H Animal) (part ?P ?H) (covers ?CLOTHING ?P)))))	Merge.kif 15936-15943	物理は衣類の instance では %n 物理はエンティティーエンティティーエンティティーは動物の instance では %n エンティティーはエンティティーの part では %n covers 物理 and エンティティーの目的 %n{ない}
(=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART))))	Geography.kif 5920-5927	オブジェクトは Shoal の instance では %n オブジェクトオブジェクトオブジェクトは LandForm の instance では %n most オブジェクト and オブジェクトオブジェクトは BodyOfWater の instance では %n covers オブジェクト and オブジェクト
(=> (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	物理は Tire の instance では %n 物理はエンティティーエンティティーエンティティーは Wheel の instance では %n エンティティーは WheelRim の instance では %n 物理はエンティティーの part では %n エンティティーはエンティティーの part では %n covers 物理 and エンティティーの目的 %n{ない}
(=> (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	物理は TireChain の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは RoadVehicle の instance では %n エンティティーは Wheel の instance では %n エンティティーはエンティティーの part では %n エンティティーは Friction の instance では %n covers 物理 and エンティティー物理はエンティティーの instrument では %n の目的 %n{ない}
(=> (instance ?V Veneer) (hasPurpose ?V (exists (?OBJ) (covers ?V ?OBJ))))	Mid-level-ontology.kif 4771-4775	物理は Veneer の instance では %n 物理はエンティティー covers 物理 and エンティティーの目的 %n{ない}

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