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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29735-29738
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29732-29732	域 covers, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29733-29733	域 covers, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29729-29729	例 covers and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29731-29731	例 covers and SpatialRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29730-29730	例 covers and TransitiveRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29734-29734
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65801-65801

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 29740-29744

covers Object and Object 膚淺的部分 Object and Object
空間的符合 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30166-30176	例 Entity and BodyPart 持有期間 TimePosition and attribute Entity and Bare 持有期間 TimePosition and entity 例 entity and Clothing covers entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29746-29753	例 Process and Covering 患者 Process and Entity 儀器 Process and Object 持有期間眼前的未來何時 Process and covers Object and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30148-30161	持有期間 TimePosition and attribute entity and Clothed 持有期間 TimePosition and entity 例 entity and ReproductiveBody 部分 entity and entity entity 例 entity and Clothing covers entity and entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4742-4749	例 Object and 冰山 Object Object 例 Object and 冰 Object 是 Object 的 most 例 Object and 水體 covers Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15936-15943	例 Physical and Clothing 有目的 Physical and entity entity 例 entity and Animal 部分 entity and entity covers Physical and entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5920-5927	例 Object and 淺灘 Object Object 例 Object and 土地形式 Object 是 Object 的 most 例 Object and 水體 covers Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4795-4804	例 Physical and Tire 有目的 Physical and entity entity 例 entity and 輪例 entity and WheelRim 部分 Physical and entity 部分 entity and entity covers Physical and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4461-4471	例 Physical and TireChain 有目的 Physical and entity entity and entity 例 entity and 公路車輛例 entity and 輪部分 entity and entity 例 entity and 摩擦 covers Physical and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4771-4775	例 Physical and 單板有目的 Physical and entity covers Physical and entity

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