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 Le nombre 1 argument de disjointDecomposition est une instance de classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 567-567 Le nombre 2 argument de disjointDecomposition est une instance de classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 564-564 disjointDecomposition est une instance de predicat
No TPTP formula. May not be expressible in strict first order. Merge.kif 565-565 disjointDecomposition est une instance de relation a arit� variable
No TPTP formula. May not be expressible in strict first order. Merge.kif 569-569 disjointDecomposition est reli� � l'int�rieur de SUMO � disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 568-568 disjointDecomposition est reli� � l'int�rieur de SUMO � exhaustiveDecomposition

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 Abstrait est disjointement decompos� en quantit�, attribut, relation, proposition , + liste
No TPTP formula. May not be expressible in strict first order. Merge.kif 14525-14525 Arthropode est disjointement decompos� en arachnide, myriapode, insecte, + crustac�
No TPTP formula. May not be expressible in strict first order. Merge.kif 14547-14547 Vert�br� � sang froid est disjointement decompos� en amphibien, poisson, + reptile
No TPTP formula. May not be expressible in strict first order. Military.kif 283-284 CommissionedOfficerRank est disjointement decompos� en FlagOfficerRank, FieldGradeOfficerRank, + CompanyGradeRank
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3215-3215 ComputerStatus est disjointement decompos� en HostReady, HostDown, + Booting
No TPTP formula. May not be expressible in strict first order. engineering.kif 180-180 DifferentialEquation est disjointement decompos� en FirstOrderDifferentialEquation + HigherOrderDifferentialEquation
No TPTP formula. May not be expressible in strict first order. engineering.kif 190-190 DifferentialEquation est disjointement decompos� en OrdinaryDifferentialEquation + PartialDifferentialEquation
No TPTP formula. May not be expressible in strict first order. Military.kif 269-269 EnlistedSoldierRank est disjointement decompos� en PrivateRank + NonCommissionedOfficerRank
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12944-12944 Exprimer est disjointement decompos� en ExpressingApproval + ExpressingDisapproval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16977-16977 GameArtifact est disjointement decompos� en GameBoard + GamePiece
No TPTP formula. May not be expressible in strict first order. Merge.kif 14504-14504 Invertebr� est disjointement decompos� en ver, mollusque, + arthropode
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 37-37 LAN est disjointement decompos� en BusNetwork, StarNetwork, + RingNetwork
No TPTP formula. May not be expressible in strict first order. Merge.kif 1406-1406 Langage est disjointement decompos� en langage animal, langage humain, + langage de programmation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14581-14581 Mammif�re est disjointement decompos� en mammif�re aquatique, ongul�, marsupial, rongeur, + primate
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3505-3505 NSAID est disjointement decompos� en Aspirin, Ibuprofen, + Acetaminophen
No TPTP formula. May not be expressible in strict first order. Military.kif 306-306 NonCommissionedOfficerRank est disjointement decompos� en JuniorNCORank + SeniorNCORank
No TPTP formula. May not be expressible in strict first order. Merge.kif 14410-14410 Plante non florissante est disjointement decompos� en algue, foug�re, + mousse
No TPTP formula. May not be expressible in strict first order. Merge.kif 14682-14682 Nutriment est disjointement decompos� en prot�ine, hydrate de carbone, + vitamine
No TPTP formula. May not be expressible in strict first order. Merge.kif 15302-15302 Phrase est disjointement decompos� en syntagme verbal, syntagme nominal, + phrase pr�positionnelle
No TPTP formula. May not be expressible in strict first order. Economy.kif 2087-2087 PowerGeneration est disjointement decompos� en FossilFuelPowerGeneration, HydroElectricPowerGeneration, NuclearPowerGeneration, + OtherSourcePowerGeneration
No TPTP formula. May not be expressible in strict first order. Merge.kif 14627-14627 Primate est disjointement decompos� en simien, singe, + hominid�
No TPTP formula. May not be expressible in strict first order. Merge.kif 2160-2161 Relation est disjointement decompos� en relation binaire, relation ternaire, relation quaternaire, relation quinternaire, + relation a arit� variable
No TPTP formula. May not be expressible in strict first order. Merge.kif 15777-15777 Residence est disjointement decompos� en PermanentResidence + TemporaryResidence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14231-14231 Phrase est disjointement decompos� en Statement, Supposition, Question, Request, + Order
No TPTP formula. May not be expressible in strict first order. Merge.kif 15125-15125 Tissu est disjointement decompos� en ConnectiveTissue, MuscleTissue, NervousTissue, + EpithelialTissue

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