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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - shape
shape

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25578-25578
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25576-25576 The number 1 argument of shape is an instance of physical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25577-25577 The number 2 argument of shape is an instance of shape attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25574-25574 shape is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25575-25575 shape is a subrelation of property

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4506-4506
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4505-4505
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4504-4504
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 403-403 cell shape is a subrelation of shape
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65933-65933

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25580-25585
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2811-2813
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2782-2784
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3996-3998
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 661-663
No TPTP formula. May not be expressible in strict first order. Sports.kif 340-342
No TPTP formula. May not be expressible in strict first order. Media.kif 1089-1091
No TPTP formula. May not be expressible in strict first order. Media.kif 1135-1137
No TPTP formula. May not be expressible in strict first order. Media.kif 1069-1071
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25633-25635
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 160-162
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25602-25604
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25594-25596
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25614-25616


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