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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Blade
Blade(刀片)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23124-23124
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23123-23123 子類 刀片 and 切割裝置

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11306-11306
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11305-11305
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11304-11304

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23132-23139
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23126-23131


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