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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShipAndBoatBuilding

 Sigma KEE - ShipAndBoatBuilding
ShipAndBoatBuilding(ship and boat building)

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 Ship and boat building is a subattribute of transportation equipment manufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5952-5952 Boat building is a subattribute of ship and boat building
No TPTP formula. May not be expressible in strict first order. naics.kif 5945-5945 Ship building and repairing is a subattribute of ship and boat building
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