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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Shipping

 Sigma KEE - Shipping
Shipping(運輸)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7694-7698
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1984-1984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7693-7693 子類 運輸 and Transportation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7700-7700 子類 商業運輸 and 運輸
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52689-52689
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52688-52688
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52687-52687

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22869-22869 域 貨物, 1 and 運輸


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