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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - exhaustiveDecomposition
exhaustiveDecomposition

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1511-1514
No TPTP formula. May not be expressible in strict first order. Merge.kif 552-556
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 76-79
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 87-91
No TPTP formula. May not be expressible in strict first order. Merge.kif 548-548 O argumento numero 1 de exhaustiveDecomposition e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 549-549 O argumento numero 2 de exhaustiveDecomposition e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 546-546 exhaustiveDecomposition e' uma instancia de Predicado
No TPTP formula. May not be expressible in strict first order. Merge.kif 547-547 exhaustiveDecomposition e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. Merge.kif 550-550 exhaustiveDecomposition e' relacionado internamente por SUMO a partition

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 299-299
No TPTP formula. May not be expressible in strict first order. english_format.kif 304-304
No TPTP formula. May not be expressible in strict first order. french_format.kif 172-172
No TPTP formula. May not be expressible in strict first order. relations-it.txt 101-101
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1992-1992
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 124-124
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 185-185
No TPTP formula. May not be expressible in strict first order. relations-de.txt 389-389
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 141-141
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 192-192
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 179-179
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 214-214
No TPTP formula. May not be expressible in strict first order. Merge.kif 568-568 disjointDecomposition e' relacionado internamente por SUMO a exhaustiveDecomposition
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22774-22774
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 300-300
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22773-22773
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22772-22772

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 596-600
No TPTP formula. May not be expressible in strict first order. Merge.kif 2941-2949
No TPTP formula. May not be expressible in strict first order. Merge.kif 558-562

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 590-594

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1675-1675 UniformResourceIdentifier e' coberto por UniformResourceLocator + UniformResourceName
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 194-194 VacciniaVirion e' coberto por IntracellularMatureVirionVaccinia, IntracellularEnvelopedVirionVaccinia, ExtracellularEnvelopedVirionVaccinia, + ProgenyVacciniaVirusImmature


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