Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - disjointDecomposition
disjointDecomposition

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 571-572
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 566-566 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 567-567 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 564-564 disjoint decomposition is an instance of predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 565-565 disjoint decomposition is an instance of variable arity relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 569-569 disjoint decomposition is internally related to disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 568-568 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 19854-19854
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 19853-19853
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19852-19852
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 596-600
No TPTP formula. May not be expressible in strict first order. Merge.kif 2968-2973
No TPTP formula. May not be expressible in strict first order. Merge.kif 2950-2955
No TPTP formula. May not be expressible in strict first order. Merge.kif 2957-2966
No TPTP formula. May not be expressible in strict first order. Merge.kif 574-578

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. Merge.kif 1670-1670 Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list
No TPTP formula. May not be expressible in strict first order. Merge.kif 14525-14525 Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean
No TPTP formula. May not be expressible in strict first order. Merge.kif 14547-14547 Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile
No TPTP formula. May not be expressible in strict first order. Military.kif 283-284 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 3215-3215 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 180-180 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 190-190 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 269-269 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 12944-12944 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 16977-16977 Game artifact is disjointly decomposed into game board and game piece
No TPTP formula. May not be expressible in strict first order. Merge.kif 14504-14504 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 1406-1406 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 14581-14581 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 3505-3505 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 306-306 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 14410-14410 Non flowering plant is disjointly decomposed into alga, fern, and moss
No TPTP formula. May not be expressible in strict first order. Merge.kif 14682-14682 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
No TPTP formula. May not be expressible in strict first order. Merge.kif 15302-15302 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 2087-2087 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 14627-14627 Primate is disjointly decomposed into ape, monkey, and hominid
No TPTP formula. May not be expressible in strict first order. Merge.kif 2160-2161 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 15777-15777 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 14231-14231 Sentence is disjointly decomposed into statement, supposition, question, request, and order
No TPTP formula. May not be expressible in strict first order. Merge.kif 15125-15125 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