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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Packet

 Sigma KEE - Packet
Packet(包)

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 263-264
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11588-11588
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11587-11587
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 262-262 包 是 数字数据 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43932-43932
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43931-43931
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43930-43930


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