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 Le nombre 1 argument de exhaustiveDecomposition est une instance de classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 549-549 Le nombre 2 argument de exhaustiveDecomposition est une instance de classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 546-546 exhaustiveDecomposition est une instance de predicat
No TPTP formula. May not be expressible in strict first order. Merge.kif 547-547 exhaustiveDecomposition est une instance de relation a arit� variable
No TPTP formula. May not be expressible in strict first order. Merge.kif 550-550 exhaustiveDecomposition est reli� � l'int�rieur de SUMO � 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 est reli� � l'int�rieur de SUMO � 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 est couvert par UniformResourceLocator + UniformResourceName
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 194-194 VacciniaVirion est couvert par 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