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 The number 1 argument of initially contains part is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23735-23735 The number 2 argument of initially contains part is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23723-23723 initially contains part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23724-23724 initially contains part is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23725-23725 initially contains part is internally related to part

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 Instance of computer keyboard are always initially part of instances of laptop
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29549-29549 Instance of computer screen are always initially part of instances of laptop
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3151-3151 Instance of home button are always initially part of instances of iPad
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3150-3150 Instance of home button are always initially part of instances of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3152-3152 Instance of home button are always initially part of instances of iPod


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