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 557-561
No TPTP formula. May not be expressible in strict first order. Merge.kif 553-553 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 554-554 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 551-551 exhaustive decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 552-552 exhaustive decomposition is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 555-555 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. Merge.kif 573-573 disjoint decomposition is internally related to exhaustive decomposition
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22766-22766
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 22765-22765
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22764-22764

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 601-605
No TPTP formula. May not be expressible in strict first order. Merge.kif 2899-2907
No TPTP formula. May not be expressible in strict first order. Merge.kif 563-567

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 595-599

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1675-1675 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 3.0 is open source software produced by Articulate Software and its partners