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

Formal Language: 



KB Term:  Term intersection
English Word: 

  partition

 Sigma KEE - partition
partition

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1517-1518
No TPTP formula. May not be expressible in strict first order. Merge.kif 585-588
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 82-84
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 94-96
No TPTP formula. May not be expressible in strict first order. Merge.kif 582-582 O argumento numero 1 de partition e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 583-583 O argumento numero 2 de partition e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 580-580 partition e' uma instancia de Predicado
No TPTP formula. May not be expressible in strict first order. Merge.kif 581-581 partition e' uma instancia de Relacao de aridade variavel

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 311-311
No TPTP formula. May not be expressible in strict first order. english_format.kif 316-316
No TPTP formula. May not be expressible in strict first order. french_format.kif 178-178
No TPTP formula. May not be expressible in strict first order. relations-it.txt 213-213
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1998-1998
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 130-130
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 187-187
No TPTP formula. May not be expressible in strict first order. relations-de.txt 408-408
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 251-251
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 198-198
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 188-188
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 405-405
No TPTP formula. May not be expressible in strict first order. Merge.kif 550-550 exhaustiveDecomposition e' relacionado internamente por SUMO a partition
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 312-312
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44567-44567
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44566-44566

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 606-612
No TPTP formula. May not be expressible in strict first order. Merge.kif 602-604
No TPTP formula. May not be expressible in strict first order. Merge.kif 590-594

consequent
-------------------------


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 602-604

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11141-11141 O conceito Ambulating e' completamente decomposto em Andar + Running
No TPTP formula. May not be expressible in strict first order. Merge.kif 14915-14915 O conceito Estructura Anatomica e' completamente decomposto em AnimalAnatomicalStructure + PlantAnatomicalStructure
No TPTP formula. May not be expressible in strict first order. Merge.kif 14914-14914 O conceito Estructura Anatomica e' completamente decomposto em Parte do Corpo + AbnormalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order. Merge.kif 14447-14447 O conceito Animal e' completamente decomposto em Vertebrado + Invertebrado
No TPTP formula. May not be expressible in strict first order. Merge.kif 16813-16813 O conceito Argument e' completamente decomposto em DeductiveArgument + InductiveArgument
No TPTP formula. May not be expressible in strict first order. Merge.kif 1702-1702 O conceito Atributo e' completamente decomposto em Atributo Interno + Atributo Relacional
No TPTP formula. May not be expressible in strict first order. WMD.kif 82-82 O conceito BiochemicalAgent e' completamente decomposto em BiologicalAgent + ChemicalAgent
No TPTP formula. May not be expressible in strict first order. WMD.kif 108-108 O conceito BiochemicalWeapon e' completamente decomposto em BiologicalWeapon + ChemicalWeapon
No TPTP formula. May not be expressible in strict first order. WMD.kif 157-157 O conceito BiologicalAgent e' completamente decomposto em Toxin + ToxicOrganism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7625-7625 O conceito CareOrganization e' completamente decomposto em HospitalOrganization + MedicalClinic
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1027-1027 O conceito ChairmanPublication e' completamente decomposto em ChairmanInstruction + ChairmanManual
No TPTP formula. May not be expressible in strict first order. Merge.kif 12504-12504 O conceito Processo Quimico e' completamente decomposto em Sintese Quimica + Decomposicao Quimica
No TPTP formula. May not be expressible in strict first order. Merge.kif 13036-13036 O conceito Communicacao e' completamente decomposto em Declarar, Supposing, Dirigir, Comprometer-se, Exprimir, + Declarar
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3585-3585 O conceito Currency e' completamente decomposto em CurrencyBill + CurrencyCoin
No TPTP formula. May not be expressible in strict first order. Merge.kif 16833-16833 O conceito DeductiveArgument e' completamente decomposto em ValidDeductiveArgument + InvalidDeductiveArgument
No TPTP formula. May not be expressible in strict first order. Merge.kif 816-816 O conceito Entidade e' completamente decomposto em Fisico + Abstrato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12943-12943 O conceito Exprimir e' completamente decomposto em Gesture + ExpressingInLanguage
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1604-1604 O conceito Firearm e' completamente decomposto em Rifle + Pistol
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8152-8152 O conceito Garden e' completamente decomposto em ResidentialGarden + PublicGarden
No TPTP formula. May not be expressible in strict first order. Merge.kif 14032-14032 O conceito Area Geografica e' completamente decomposto em Area Aquatica + Area terrestre
No TPTP formula. May not be expressible in strict first order. Merge.kif 17781-17781 O conceito GeometricFigure e' completamente decomposto em GeometricPoint, OneDimensionalFigure, TwoDimensionalFigure, + ThreeDimensionalFigure
No TPTP formula. May not be expressible in strict first order. Merge.kif 5820-5820 O conceito Elemento do Grafo e' completamente decomposto em No' do Grafo + Arco do Grafo
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1162-1162 O conceito Gun e' completamente decomposto em ArtilleryGun + Firearm
No TPTP formula. May not be expressible in strict first order. Economy.kif 5279-5279 O conceito Hardwood e' completamente decomposto em Softwood
No TPTP formula. May not be expressible in strict first order. Merge.kif 14645-14645 O conceito Humano e' completamente decomposto em Man + Woman

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