TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3031-3032
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11402-11404
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1799-1800
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11400-11400	Remover e' uma sub-classe de Transferencia

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10958-10958	Diminuir e' relacionado internamente por SUMO a Remover
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21490-21490	Aborting e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6248-6248	Amputating e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24084-24084	Biopsy e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24007-24007	Nascimento e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1513-1513	BleedingAir e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21054-21054	Circumision e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2654-2654	Deforestation e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2656-2656	Dredging e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12795-12795	Secar e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2674-2674	Erosion e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2113-2113	Excreting e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 250-250	Exfiltration e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11804-11804	HairRemoval e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18071-18071	Harvesting e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6442-6442	Moulting e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11815-11815	Peeling e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2915-2915	Sanitation e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5563-5563	Sweeping e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 878-878	Thoracentesis e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11415-11415	Descobrir e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5573-5573	Washing e' uma sub-classe de Remover
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1120-1120
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1457-1457

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1379-1389	Objeto e' uma instancia de AbsoluteFilter Processo e' uma instancia de Remover Processo tem como origem Objeto Objeto e' uma instancia de GasMixture Objeto e' um patient de Processo Solid e' um atributo de Objeto Objeto e' um instrumento para Processo Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11406-11413	Processo e' uma instancia de Remover Processo tem como origem Objeto Entidade e' um patient de Processo Entidade e' situado em Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' situado em Objeto vale durante o fim de tempo de existencia de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2162-2175	AutonomousAgent e' uma instancia de Animal Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de AutonomousAgent Transferencia Objeto Transferencia e' uma instancia de Processo Biologico Transferencia e' uma instancia de Remover Transferencia tem como origem AutonomousAgent Objeto e' uma instancia de Sewage Transferencia e' um agente de AutonomousAgent objectTransferred Transferencia and Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6055-6074	Processo e' uma instancia de Coughing AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Lung Entidade e' uma instancia de Throat Entidade e' uma instancia de Objeto Entidade e' uma instancia de Remover Entidade e' uma &parte de AutonomousAgent Entidade e' uma &parte de AutonomousAgent objectTransferred Entidade and Entidade Entidade e' situado em Entidade Entidade e' situado em Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6121-6139	Processo e' uma instancia de Sneezing AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade, EntidadeOSE and Entidade Entidade e' uma instancia de NasalCavity EntidadeOSE e' uma instancia de Nose EntidadeOSE e' igual a o dono do buraco Entidade Entidade e' uma instancia de Objeto Entidade e' uma instancia de Remover EntidadeOSE e' uma &parte de AutonomousAgent objectTransferred Entidade and Entidade Entidade e' situado em Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 425-435	Substancia e' uma instancia de Comida DecafAttribute e' um atributo de Substancia Substancia e' uma peca de Substancia Substancia e' uma instancia de Caffeine Processo Processo e' uma instancia de Remover Processo termina em Substancia Substancia e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	naics.kif 631-648	Colecao e' uma instancia de Organizacao Mining e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Remover Objeto e' um patient de AutonomousAgent Objeto e' uma instancia de Substancia Pura Solid e' um atributo de Objeto Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Objeto e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	Colecao e' uma instancia de Organizacao Utilities e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Remover Objeto e' uma instancia de Sewage Objeto e' um patient de AutonomousAgent Objeto e' uma instancia de Eletron Objeto e' uma instancia de Agua Objeto e' uma instancia de Substancia Pura Objeto e' capaz de fazer Combustao no role patient Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Transacao Financeira AutonomousAgent2 e' um agente de Processo2 Objeto e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6412-6423	Entidade e' uma instancia de SheddingPart Entidade Objeto and Objeto Objeto e' uma instancia de Organismo Objeto e' uma instancia de Estructura Anatomica Objeto e' uma &parte de Objeto Processo Processo e' uma instancia de Remover Processo tem como origem Objeto Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6393-6404	sheddingLeaves Planta and PlantLeaf Planta e' uma instancia de DeciduousTree PlantLeaf e' uma instancia de PlantLeaf Processo Processo Processo e' uma sub-classe de Remover Processo ocorre todos os YearDuration Processo e' uma instancia de Processo Processo tem como origem Planta PlantLeaf e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1924-1932	Fisico e' uma instancia de BrushOrComb Fisico tem por fim Entidade Entidade e' uma instancia de Remover Entidade e' uma instancia de Mudanca Superficial Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10924-10931	Objeto e' uma instancia de DistilledAlcoholicBeverage Processo Entidade Processo e' uma instancia de Remover Entidade e' um patient de Processo Entidade e' uma instancia de FreshWater Processo tem como origem Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15037-15044	Fisico e' uma instancia de Chimney Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Smoke Entidade e' uma instancia de Remover Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4570-4585	Fisico e' uma instancia de Colander Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Mistura Entidade e' uma instancia de Substancia Entidade e' uma &parte de Entidade Liquid e' um atributo de Entidade Entidade e' uma instancia de Remover Entidade e' um patient de Entidade Entidade e' uma instancia de Substancia Entidade e' uma &parte de Entidade Solid e' um atributo de Entidade Entidade e' o resultado de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Food.kif 686-701	Processo e' uma instancia de CoffeeMaking Processo Objeto, Objeto, Objeto, Objeto and Entidade Processo e' um sub-processo de Processo Processo e' uma instancia de Remover Processo tem como origem Objeto Objeto e' uma instancia de LiquidMixture Objeto e' uma &parte de Objeto Objeto e' uma instancia de DrinkingWater Objeto e' uma &parte de Objeto Objeto e' uma instancia de CoffeeGrind Objeto e' um instrumento para Processo Objeto e' uma instancia de Filter Entidade e' o resultado de Processo Entidade e' uma instancia de Coffee
No TPTP formula. May not be expressible in strict first order.	Food.kif 703-716	Posicao Temporal e' uma instancia de CoffeeMaking Entidade Entidade and Entidade Entidade e' uma instancia de LiquidMotion Entidade e' uma instancia de Soaking Entidade e' uma instancia de Remover o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10009-10022	Fisico e' uma instancia de Diuretic Fisico tem por fim Entidade Entidade, Entidade and EntidadeOC Entidade e' uma instancia de Humano Entidade e' uma instancia de Remover Entidade e' uma instancia de Liquid Entidade experimenta Entidade moves Entidade and Entidade Entidade tem como origem Entidade Entidade nao contem %n EntidadeOC Entidade termina em EntidadeOC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8847-8856	Fisico e' uma instancia de Detergent Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Remover Entidade e' uma instancia de Substancia Entidade e' um patient de Entidade Entidade tem como origem Entidade Entidade e' uma superficie de Entidade
No TPTP formula. May not be expressible in strict first order.	WMD.kif 741-748	Processo e' uma instancia de DismantlingWeaponOfMassDestruction Processo Processo e' um sub-processo de Processo Processo e' uma instancia de Destrucao Processo e' uma instancia de Remover
No TPTP formula. May not be expressible in strict first order.	Food.kif 799-834	Posicao Temporal e' uma instancia de EspressoMaking Entidade Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Aquecer Entidade e' um patient de Entidade a medida de Entidade e' Entidade Liter(s) approximateValue Entidade and 0.03 a medida de Entidade e' Entidade CelsiusDegree(s) approximateValue Entidade and 90 vale durante o fim de tempo de existencia de Entidade Entidade e' uma instancia de LiquidMotion Entidade e' um patient de Entidade a medida de Entidade e' Entidade 1 mil Pascals(s) approximateValue Entidade and 900 vale durante Entidade Entidade termina em Entidade Entidade e' uma instancia de Colecao a medida de Entidade e' Entidade Gram(s) approximateValue Entidade and 7.5 Entidade e' membro de Entidade Entidade e' uma instancia de CoffeeGrind FineGrind e' um atributo de Entidade Entidade e' situado em Entidade Entidade e' uma instancia de Filter Entidade e' uma instancia de Remover Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade o fim de tempo de existencia de Entidade e' entre o fim de tempo de existencia de Entidade e o fim de tempo de existencia de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1368-1376	Fisico e' uma instancia de AbsoluteFilter Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Remover Entidade tem como origem Entidade Entidade e' uma instancia de GasMixture Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 943-958	Fisico e' uma instancia de AirFilter Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Remover Entidade e' uma &parte de Entidade Entidade e' uma instancia de Air Entidade e' uma instancia de Air Solid e' um atributo de Entidade Entidade e' um patient de Entidade Entidade e' uma &parte de Entidade Entidade tem como origem Entidade Entidade e' uma instancia de Mistura Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2523-2531	Fisico e' uma instancia de Filter Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Remover Entidade tem como origem Entidade Entidade e' uma instancia de Mistura Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 922-936	Fisico e' uma instancia de FuelFilter Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Remover Entidade e' uma &parte de Entidade Entidade e' uma instancia de Fuel Entidade e' uma instancia de Fuel Entidade e' um patient de Entidade Entidade e' uma &parte de Entidade Entidade tem como origem Entidade Entidade e' uma instancia de Solucao Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6745-6753	Fisico e' uma instancia de Mine Fisico tem por fim Entidade FisicoRAL Entidade e' uma instancia de Remover FisicoRAL e' um patient de Entidade FisicoRAL e' uma instancia de Mineral Entidade tem como origem Fisico
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 924-938	Fisico e' uma instancia de Needle Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Animal Entidade e' uma instancia de TherapeuticProcss Fluid e' um atributo de Entidade Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade Entidade e' uma instancia de Remover Entidade e' uma instancia de Inserting Entidade e' um sub-processo de Entidade objectTransferred Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Food.kif 248-258	Entidade e' uma instancia de PurifiedWater Processo Objeto and Objeto Processo e' uma instancia de Remover Processo tem como origem Objeto Objeto e' uma instancia de Agua Objeto e' um patient de Processo Objeto e' uma instancia de Substancia Objeto e' uma &parte de Objeto Entidade e' o resultado de Processo

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

KB Term:			Term intersection

English Word: