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. Merge.kif 592-595
No TPTP formula. May not be expressible in strict first order. Merge.kif 587-591
No TPTP formula. May not be expressible in strict first order. Merge.kif 584-584 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 585-585 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 582-582 exhaustive decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 583-583 exhaustive decomposition is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 586-586 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 182-182
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. portuguese_format.kif 124-124
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 117-117
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-tg.txt 214-214
No TPTP formula. May not be expressible in strict first order. Merge.kif 607-607 disjoint decomposition is internally related to exhaustive decomposition
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 300-300 "彻底的分拆" is the printable form of exhaustive decomposition in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4217-4217 "exhaustive decomposition" is the printable form of exhaustive decomposition in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 567-567 "«مَشْمُول بـ»" is the printable form of exhaustive decomposition in ar

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3113-3121
No TPTP formula. May not be expressible in strict first order. Merge.kif 597-601

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 631-635 @ROW is exhaustively partitioned into @ROW if and only if @ROW is covered by @ROW and @ROW is disjointly decomposed into @ROW

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1671-1671 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 149-149 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners