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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CoastalAndGreatLakesFreightTransportation

 Sigma KEE - CoastalAndGreatLakesFreightTransportation
CoastalAndGreatLakesFreightTransportation(沿海和大湖泊货运)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8179-8182
No TPTP formula. May not be expressible in strict first order. naics.kif 8177-8177 沿海和大湖泊货运 是 深海沿岸和大湖泊水运 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15354-15354
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15353-15353
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15352-15352

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8184-8197


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