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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfInformation

Sigma KEE - UnitOfInformation
UnitOfInformation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2429-2430
No TPTP formula. May not be expressible in strict first order. Merge.kif 6335-6337
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1119-1121
No TPTP formula. May not be expressible in strict first order. Merge.kif 6333-6333 UnitOfInformationNonCompositeUnitOfMeasuresubclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7417-7417 位元UnitOfInformationinstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7421-7421 字节UnitOfInformationinstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7429-7429 千位元UnitOfInformationinstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7439-7439 兆位元UnitOfInformationinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13674-13674 UnitOfInformationinstance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65657-65657

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6406-6410


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