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

Formal Language: 



KB Term:  Term intersection
English Word: 

  version

 Sigma KEE - version
version

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3581-3583
No TPTP formula. May not be expressible in strict first order. Merge.kif 15729-15732
No TPTP formula. May not be expressible in strict first order. Merge.kif 15727-15727 版本 的 1 数量 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15728-15728 版本 的 2 数量 是 人工制品 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15725-15725 版本 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 15724-15724 版本 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 15726-15726 版本 是 传递关系 的 instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 537-537
No TPTP formula. May not be expressible in strict first order. english_format.kif 542-542
No TPTP formula. May not be expressible in strict first order. french_format.kif 316-316
No TPTP formula. May not be expressible in strict first order. relations-it.txt 311-311
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2084-2084
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 268-268
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 322-322
No TPTP formula. May not be expressible in strict first order. relations-de.txt 701-701
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 346-346
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 337-337
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 348-348
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 503-503
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61550-61550
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 538-538
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61549-61549
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61548-61548

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15734-15736


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