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 11244-11246
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 11242-11242	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 21377-21377	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 1741-1741	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 17523-17523	Dripping e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17579-17579	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 17532-17532	Pouring e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17601-17601	Spraying e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17527-17527	Stirring e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11254-11254	WaterMotion e' uma sub-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17550-17550	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 11248-11252	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 11367-11384	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 11914-11931	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 10741-10750	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: