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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShipAndBoatBuilding

 Sigma KEE - ShipAndBoatBuilding
ShipAndBoatBuilding(船和造船)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5941-5943
No TPTP formula. May not be expressible in strict first order. naics.kif 5939-5939 船和造船 是 运输设备制造业 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5952-5952 造船 是 船和造船 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 5945-5945 造船和修理 是 船和造船 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52605-52605
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52604-52604
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52603-52603


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