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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15753-15756
No TPTP formula. May not be expressible in strict first order. Merge.kif 15751-15751 O argumento numero 1 de version e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15752-15752 O argumento numero 2 de version e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order. Merge.kif 15749-15749 version e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Merge.kif 15748-15748 version e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 15750-15750 version e' uma instancia de Relacao Transitiva

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 61552-61552
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 61551-61551
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61550-61550

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15758-15760


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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