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 551-555
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 547-547 The number 1 argument of exhaustive decomposition is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 548-548 The number 2 argument of exhaustive decomposition is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 545-545 exhaustive decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 546-546 exhaustive decomposition is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 549-549 exhaustive decomposition is internally related to 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 567-567 disjoint decomposition is internally related to exhaustive decomposition
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22787-22787 disjoint decomposition is internally related to exhaustive decomposition
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 300-300 disjoint decomposition is internally related to exhaustive decomposition
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22786-22786 disjoint decomposition is internally related to exhaustive decomposition
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22785-22785 disjoint decomposition is internally related to exhaustive decomposition

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 595-599
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 557-561

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 589-593

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1781-1781 Uniform resource identifier is covered by uniform resource locator and uniform resource name
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 194-194 Vaccinia virion is covered by intracellular mature virion vaccinia, intracellular enveloped virion vaccinia, extracellular enveloped virion vaccinia, and progeny vaccinia virus immature


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