TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3021-3022
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11222-11224
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1786-1787
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11220-11220	LiquidMotion e' uma sub-classe de Movimento

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21378-21378	Bleeding e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1512-1512	BleedingAir e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 484-484	BloodCirculation e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1735-1735	Cavitating e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Food.kif 651-651	CoffeeMaking e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17524-17524	Dripping e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17580-17580	Flooding e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1480-1480	Perspiring e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17533-17533	Pouring e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17602-17602	Spraying e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17528-17528	Stirring e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11232-11232	WaterMotion e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17551-17551	WaterWave e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1600-1600	Weeping e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34655-34655
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34654-34654
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34653-34653

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Geography.kif 4925-4925

O argumento numero 1 de FlowRegionFn e' uma instancia de LiquidMotion

antecedent

No TPTP formula. May not be expressible in strict first order.	engineering.kif 939-952	Objeto e' uma instancia de Faucet Processo e' uma instancia de LiquidMotion Entidade e' um patient de Processo Processo e' situado em Objeto Entidade Entidade e' uma instancia de Tube Entidade contem Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11226-11230	Processo e' uma instancia de LiquidMotion Objeto e' um patient de Processo Liquid e' um atributo de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11368-11385	Fisico e' uma instancia de HeartAttack Objeto e' uma instancia de Heart Fisico e' situado em Objeto Objeto Objeto e' uma instancia de Musculo Objeto e' uma &parte de Objeto Intervalo Temporal Objeto Intervalo Temporal e' uma instancia de LiquidMotion objectTransferred Intervalo Temporal and Objeto Objeto e' uma instancia de Sangue Intervalo Temporal acontece durante tempo de existencia de Fisico Intervalo Temporal termina em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11915-11932	Fisico e' uma instancia de Stroke Objeto e' uma instancia de Brain Fisico e' situado em Objeto Objeto Objeto e' uma instancia de NerveCell Objeto e' uma &parte de Objeto Intervalo Temporal Objeto Intervalo Temporal e' uma instancia de LiquidMotion objectTransferred Intervalo Temporal and Objeto Objeto e' uma instancia de Sangue Intervalo Temporal acontece durante tempo de existencia de Fisico Intervalo Temporal termina em Objeto
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1947-1958	suppliesBlood Artery and Parte do Corpo Fisico e' uma instancia de Artery Entidade e' uma instancia de Parte do Corpo Fisico tem por fim Entidade Entidade Entidade e' uma instancia de LiquidMotion objectTransferred Entidade and Entidade Entidade e' uma instancia de Sangue Entidade termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Food.kif 664-673	Processo e' uma instancia de CoffeeMaking Processo Entidade and Entidade Processo e' um sub-processo de Processo Processo e' uma instancia de LiquidMotion Entidade e' um patient de Processo Entidade e' uma instancia de DrinkingWater Processo termina em Entidade Entidade e' uma instancia de CoffeeGrind
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.	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.	Mid-level-ontology.kif 10742-10751	Fisico e' uma instancia de Heart Fisico tem por fim Entidade FisicoB and Entidade FisicoB e' uma instancia de HeartBeat Entidade e' uma instancia de LiquidMotion Entidade e' uma instancia de Sangue moves Entidade and Entidade FisicoB causa Entidade

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: