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 运输 是 运输 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7700-7700 商业运输 是 运输 的 subclass
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 数量 是 运输 的 instance


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