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 and Object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23735-23735 域子類 最初包含部分, 2 and Object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23723-23723 例 最初包含部分 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23724-23724 例 最初包含部分 and SpatialRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23725-23725 相關的內部概念 最初包含部分 and 部分

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