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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TwoDimensionalObject
TwoDimensionalObject(two dimensional object)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4536-4538
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2050-2050
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4535-4535 Two dimensional object is a subclass of object

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59675-59675
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59674-59674
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59673-59673

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4548-4548 The number 1 argument of slice of figure is an instance of two dimensional object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4517-4517 The number 2 argument of tangent is an instance of two dimensional object

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4555-4564
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25687-25705


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