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

Formal Language: 



KB Term:  Term intersection
English Word: 

  exhaustiveDecomposition

 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 2940-2948
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 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