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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NaturalSubstance
NaturalSubstance(natural substance)
natural

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1593-1594
No TPTP formula. May not be expressible in strict first order. Merge.kif 1081-1082
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 172-173
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 203-205
No TPTP formula. May not be expressible in strict first order. pictureList.kif 903-903
No TPTP formula. May not be expressible in strict first order. Merge.kif 1080-1080 Natural substance is a subclass of substance

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3881-3881 Magnet is a subclass of natural substance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39927-39927
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39926-39926
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39925-39925

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12209-12209 The number 2 argument of secretes substance is a subclass of natural substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1043-1043 Substance is exhaustively partitioned into synthetic substance and natural substance


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