Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  covers

 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 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29745-29745 covers 的 2 数量 是 客体 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29741-29741 covers 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29743-29743 covers 是 空间关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29742-29742 covers 是 传递关系 的 instance

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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30178-30188 实体 是 身体部位 的 instance 和 Bare 是 那个 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 covers 那个 另外 实体 and 那个 实体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29758-29765
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30160-30173
No TPTP formula. May not be expressible in strict first order. Geography.kif 4742-4749
No TPTP formula. May not be expressible in strict first order. Merge.kif 15914-15921
No TPTP formula. May not be expressible in strict first order. Geography.kif 5920-5927
No TPTP formula. May not be expressible in strict first order. Cars.kif 4787-4796
No TPTP formula. May not be expressible in strict first order. Cars.kif 4453-4463
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4771-4775


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