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 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 14547-14547 Artropode e' disjuntamente decomponivel em Aracnideo, Miriapode, Inseto, + Crustaceo
No TPTP formula. May not be expressible in strict first order. Merge.kif 14569-14569 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 12943-12943 Exprimir e' disjuntamente decomponivel em ExpressingApproval + ExpressingDisapproval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16976-16976 GameArtifact e' disjuntamente decomponivel em GameBoard + GamePiece
No TPTP formula. May not be expressible in strict first order. Merge.kif 14526-14526 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 14603-14603 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 14432-14432 Planta sem flores e' disjuntamente decomponivel em Alga, Samambaias, + Musgo
No TPTP formula. May not be expressible in strict first order. Merge.kif 14704-14704 Nutriente e' disjuntamente decomponivel em Proteina, Carbohidrato, + Vitamina
No TPTP formula. May not be expressible in strict first order. Merge.kif 15324-15324 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 14649-14649 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 15799-15799 Residence e' disjuntamente decomponivel em PermanentResidence + TemporaryResidence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14230-14230 Frase e' disjuntamente decomponivel em Statement, Supposition, Question, Request, + Order
No TPTP formula. May not be expressible in strict first order. Merge.kif 15147-15147 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