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

Formal Language: 



KB Term:  Term intersection
English Word: 

  searchResult

 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 43934-43934
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43933-43933
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43932-43932


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