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

Formal Language: 



KB Term:  Term intersection
English Word: 

  disjointDecomposition

 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 O argumento numero 1 de disjointDecomposition e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 567-567 O argumento numero 2 de disjointDecomposition e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 564-564 disjointDecomposition e' uma instancia de Predicado
No TPTP formula. May not be expressible in strict first order. Merge.kif 565-565 disjointDecomposition e' uma instancia de Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. Merge.kif 569-569 disjointDecomposition e' relacionado internamente por SUMO a disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 568-568 disjointDecomposition e' relacionado internamente por SUMO a 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 Abstrato e' disjuntamente decomponivel em Quantidade, Atributo, Relacao, Proposicao, + Lista
No TPTP formula. May not be expressible in strict first order. Merge.kif 14525-14525 Artropode e' disjuntamente decomponivel em Aracnideo, Miriapode, Inseto, + Crustaceo
No TPTP formula. May not be expressible in strict first order. Merge.kif 14547-14547 Vertebrado de Sangue Frio e' disjuntamente decomponivel em Anfibio, Peixe, + Reptil
No TPTP formula. May not be expressible in strict first order. Military.kif 283-284 CommissionedOfficerRank e' disjuntamente decomponivel em FlagOfficerRank, FieldGradeOfficerRank, + CompanyGradeRank
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3215-3215 ComputerStatus e' disjuntamente decomponivel em HostReady, HostDown, + Booting
No TPTP formula. May not be expressible in strict first order. engineering.kif 180-180 DifferentialEquation e' disjuntamente decomponivel em FirstOrderDifferentialEquation + HigherOrderDifferentialEquation
No TPTP formula. May not be expressible in strict first order. engineering.kif 190-190 DifferentialEquation e' disjuntamente decomponivel em OrdinaryDifferentialEquation + PartialDifferentialEquation
No TPTP formula. May not be expressible in strict first order. Military.kif 269-269 EnlistedSoldierRank e' disjuntamente decomponivel em PrivateRank + NonCommissionedOfficerRank
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12944-12944 Exprimir e' disjuntamente decomponivel em ExpressingApproval + ExpressingDisapproval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16977-16977 GameArtifact e' disjuntamente decomponivel em GameBoard + GamePiece
No TPTP formula. May not be expressible in strict first order. Merge.kif 14504-14504 Invertebrado e' disjuntamente decomponivel em Verme, Molusco, + Artropode
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 37-37 LAN e' disjuntamente decomponivel em BusNetwork, StarNetwork, + RingNetwork
No TPTP formula. May not be expressible in strict first order. Merge.kif 1406-1406 Linguagem e' disjuntamente decomponivel em Linguagem Animal, Linguagem Humana, + Linguagem de Programacao
No TPTP formula. May not be expressible in strict first order. Merge.kif 14581-14581 Mamifero e' disjuntamente decomponivel em Mamifero Aquatico, Ungulado, Marsupial, Roedor, + Primata
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3505-3505 NSAID e' disjuntamente decomponivel em Aspirin, Ibuprofen, + Acetaminophen
No TPTP formula. May not be expressible in strict first order. Military.kif 306-306 NonCommissionedOfficerRank e' disjuntamente decomponivel em JuniorNCORank + SeniorNCORank
No TPTP formula. May not be expressible in strict first order. Merge.kif 14410-14410 Planta sem flores e' disjuntamente decomponivel em Alga, Samambaias, + Musgo
No TPTP formula. May not be expressible in strict first order. Merge.kif 14682-14682 Nutriente e' disjuntamente decomponivel em Proteina, Carbohidrato, + Vitamina
No TPTP formula. May not be expressible in strict first order. Merge.kif 15302-15302 Frase e' disjuntamente decomponivel em Sintagma Verbal, Sintagma Nominal, + Frase Preposicional
No TPTP formula. May not be expressible in strict first order. Economy.kif 2087-2087 PowerGeneration e' disjuntamente decomponivel em FossilFuelPowerGeneration, HydroElectricPowerGeneration, NuclearPowerGeneration, + OtherSourcePowerGeneration
No TPTP formula. May not be expressible in strict first order. Merge.kif 14627-14627 Primata e' disjuntamente decomponivel em Simio, Macaco, + Hominideo
No TPTP formula. May not be expressible in strict first order. Merge.kif 2160-2161 Relacao e' disjuntamente decomponivel em Relacao Binaria, Relacao Ternaria, Relacao Quaternaria, Relacao Quinquenaria, + Relacao de aridade variavel
No TPTP formula. May not be expressible in strict first order. Merge.kif 15777-15777 Residence e' disjuntamente decomponivel em PermanentResidence + TemporaryResidence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14231-14231 Frase e' disjuntamente decomponivel em Statement, Supposition, Question, Request, + Order
No TPTP formula. May not be expressible in strict first order. Merge.kif 15125-15125 Tecido e' disjuntamente decomponivel em ConnectiveTissue, MuscleTissue, NervousTissue, + EpithelialTissue

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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