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 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 2969-2974
No TPTP formula. May not be expressible in strict first order. Merge.kif 2951-2956
No TPTP formula. May not be expressible in strict first order. Merge.kif 2958-2967
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 14571-14571 Artropode e' disjuntamente decomponivel em Aracnideo, Miriapode, Inseto, + Crustaceo
No TPTP formula. May not be expressible in strict first order. Merge.kif 14593-14593 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 12971-12971 Exprimir e' disjuntamente decomponivel em ExpressingApproval + ExpressingDisapproval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17004-17004 GameArtifact e' disjuntamente decomponivel em GameBoard + GamePiece
No TPTP formula. May not be expressible in strict first order. Merge.kif 14550-14550 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 14627-14627 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 14456-14456 Planta sem flores e' disjuntamente decomponivel em Alga, Samambaias, + Musgo
No TPTP formula. May not be expressible in strict first order. Merge.kif 14728-14728 Nutriente e' disjuntamente decomponivel em Proteina, Carbohidrato, + Vitamina
No TPTP formula. May not be expressible in strict first order. Merge.kif 15348-15348 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 14673-14673 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 15823-15823 Residence e' disjuntamente decomponivel em PermanentResidence + TemporaryResidence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14258-14258 Frase e' disjuntamente decomponivel em Statement, Supposition, Question, Request, + Order
No TPTP formula. May not be expressible in strict first order. Merge.kif 15171-15171 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 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