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

Formal Language: 



KB Term:  Term intersection
English Word: 

  initiallyContainsPart

 Sigma KEE - initiallyContainsPart
initiallyContainsPart

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23726-23732
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23734-23734 最初包含部分 的 1 数量 是 客体 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23735-23735 最初包含部分 的 2 数量 是 客体 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23723-23723 最初包含部分 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23724-23724 最初包含部分 是 空间关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23725-23725 最初包含部分 和 部分 是 内部相关

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3702-3702
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3701-3701
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3700-3700
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30115-30115
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30114-30114
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30113-30113

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23737-23745

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29548-29548 ComputerKeyboard 的例子总是 Laptop 的 initially part 的例子
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29549-29549 ComputerScreen 的例子总是 Laptop 的 initially part 的例子
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3151-3151 主页按钮 的例子总是 iPad 的 initially part 的例子
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3150-3150 主页按钮 的例子总是 iPhone 的 initially part 的例子
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3152-3152 主页按钮 的例子总是 iPod 的 initially part 的例子


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