covers - Sigma Knowledge base Browser

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 29747-29750
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29744-29744	域 covers, 1 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29745-29745	域 covers, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29741-29741	例 covers and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29743-29743	例 covers and SpatialRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29742-29742	例 covers and TransitiveRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29746-29746
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 29752-29756

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 30178-30188	例 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 29758-29765	例 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 30160-30173	持有期間 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 15914-15921	例 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 4787-4796	例 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 4453-4463	例 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 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