disjointDecomposition - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1515-1516
No TPTP formula. May not be expressible in strict first order.	Merge.kif 564-565
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 80-81
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 92-93
No TPTP formula. May not be expressible in strict first order.	Merge.kif 559-559	The number 1 argument of disjoint decomposition is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 560-560	The number 2 argument of disjoint decomposition is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 557-557	disjoint decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 558-558	disjoint decomposition is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 562-562	disjoint decomposition is internally related to disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 561-561	disjoint decomposition is internally related to exhaustive decomposition

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 287-287
No TPTP formula. May not be expressible in strict first order.	english_format.kif 292-292
No TPTP formula. May not be expressible in strict first order.	french_format.kif 166-166
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 76-76
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1986-1986
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 118-118
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 110-110
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 186-186
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 373-373
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 116-116
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 186-186
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 173-173
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 168-168
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19869-19869
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 288-288
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19868-19868
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19867-19867
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 116-116
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 169-169

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 589-593	If @ROW is covered by @ROW and @ROW is disjointly decomposed into @ROW, then @ROW is exhaustively partitioned into @ROW
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2966-2971	If a class is disjointly decomposed into another class, a third class, and a fourth class, then the other class is disjoint from the third class and the third class is disjoint from the fourth class and the fourth class is disjoint from the other class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2948-2953	If a class is disjointly decomposed into @ROW, then for all a third class if the third class is a member of (@ROW), then the third class is a subclass of the class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2955-2964	If a class is disjointly decomposed into @ROW, then for all a third class and a fourth class if the third class is a member of (@ROW) and the fourth class is a member of (@ROW) and the third class is not equal to the fourth class, then the third class is disjoint from the fourth class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 567-571	If @ROW is disjointly decomposed into @ROW, then if another entity is a member of (@ROW), then the other entity is an instance of class

consequent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 583-587

If @ROW is exhaustively partitioned into @ROW,
then @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.	Merge.kif 1665-1665	Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14663-14663	Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14685-14685	Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile
No TPTP formula. May not be expressible in strict first order.	Military.kif 350-351	Commissioned officer rank is disjointly decomposed into flag officer rank, field grade officer rank, and company grade rank
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3211-3211	Computer status is disjointly decomposed into host ready, host down, and booting up
No TPTP formula. May not be expressible in strict first order.	engineering.kif 179-179	Differential equation is disjointly decomposed into first order differential equation and higher order differential equation
No TPTP formula. May not be expressible in strict first order.	engineering.kif 189-189	Differential equation is disjointly decomposed into ordinary differential equation and partial differential equation
No TPTP formula. May not be expressible in strict first order.	Military.kif 336-336	Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14293-14293	Expressing is disjointly decomposed into expressing approval and expressing disapproval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18384-18384	Game artifact is disjointly decomposed into game board and game piece
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14642-14642	Invertebrate is disjointly decomposed into worm, mollusk, and arthropod
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 37-37	LAN is disjointly decomposed into bus network, star network, and ring network
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1401-1401	Language is disjointly decomposed into animal language, human language, and computer language
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14719-14719	Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and primate
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3506-3506	Non-steriodal anti-inflammatory is disjointly decomposed into aspirin, ibuprofen, and paracetamol
No TPTP formula. May not be expressible in strict first order.	Military.kif 373-373	Non commissioned officer rank is disjointly decomposed into juniorNCO rank and seniorNCO rank
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14548-14548	Non flowering plant is disjointly decomposed into alga, fern, and moss
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14820-14820	Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15440-15440	Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2327-2327	Power generation is disjointly decomposed into fossil fuel power generation, hydro electric power generation, nuclear power generation, and other source power generation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14765-14765	Primate is disjointly decomposed into ape, monkey, and hominid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2156-2157	Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15912-15912	Residence is disjointly decomposed into permanent residence and temporary residence
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15620-15620	Sentence is disjointly decomposed into statement, supposition, question, request, and order
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15263-15263	Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: