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 11256-11258
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 11254-11254	LiquidMotion est une sous-classe de d�palcement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21405-21405	Bleeding est une sous-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1512-1512	BleedingAir est une sous-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 484-484	BloodCirculation est une sous-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1741-1741	Cavitating est une sous-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Food.kif 651-651	CoffeeMaking est une sous-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17551-17551	Dripping est une sous-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17607-17607	Flooding est une sous-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1480-1480	Perspiring est une sous-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17560-17560	Pouring est une sous-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17629-17629	Spraying est une sous-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17555-17555	Stirring est une sous-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11266-11266	WaterMotion est une sous-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17578-17578	WaterWave est une sous-classe de LiquidMotion
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1600-1600	Weeping est une sous-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

Le nombre 1 argument de FlowRegionFn est une instance de LiquidMotion

antecedent

No TPTP formula. May not be expressible in strict first order.	engineering.kif 939-952	Objet est une instance de Faucet processus est une instance de LiquidMotion entit� est un patient de processus processus est situ� � objet entit� entit� est une instance de Tube entit� contient entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11260-11264	Processus est une instance de LiquidMotion objet est un patient de processus Liquid est un attribut de objet

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11395-11412	Physique est une instance de HeartAttack objet est une instance de Heart physique est situ� � objet objet objet est une instance de muscle objet est une partie de objet interval temporel objet interval temporel est une instance de LiquidMotion objectTransferred interval temporel and objet objet est une instance de sang interval temporel prend place pendant temps d'existence de physique interval temporel aboutit � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11942-11959	Physique est une instance de Stroke objet est une instance de Brain physique est situ� � objet objet objet est une instance de NerveCell objet est une partie de objet interval temporel objet interval temporel est une instance de LiquidMotion objectTransferred interval temporel and objet objet est une instance de sang interval temporel prend place pendant temps d'existence de physique interval temporel aboutit � objet
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1947-1958	suppliesBlood Artery and partie du corps physique est une instance de Artery entit� est une instance de partie du corps physique a pour but entit� entit� entit� est une instance de LiquidMotion objectTransferred entit� and entit� entit� est une instance de sang entit� aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Food.kif 664-673	Processus est une instance de CoffeeMaking processus entit� and entit� processus est un sous-processus de processus processus est une instance de LiquidMotion entit� est un patient de processus entit� est une instance de DrinkingWater processus aboutit � entit� entit� est une instance de CoffeeGrind
No TPTP formula. May not be expressible in strict first order.	Food.kif 703-716	Position temporel est une instance de CoffeeMaking entit� entit� and entit� entit� est une instance de LiquidMotion entit� est une instance de Soaking entit� est une instance de supprimer le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit� le d�but de temps d'existence de entit� se produit avant le d�but de temps d'existence de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Food.kif 799-834	Position temporel est une instance de EspressoMaking entit� entit�, entit�, entit�, entit�, entit�, entit�, entit�, entit�, entit� and entit� entit� est une instance de r�chauffer entit� est un patient de entit� la mesure de entit� est entit� Liter(s) approximateValue entit� and 0.03 la mesure de entit� est entit� CelsiusDegree(s) approximateValue entit� and 90 pendant la fin de temps d'existence de entit� entit� est une instance de LiquidMotion entit� est un patient de entit� la mesure de entit� est entit� 1 millier Pascals(s) approximateValue entit� and 900 pendant entit� entit� aboutit � entit� entit� est une instance de collection la mesure de entit� est entit� Gram(s) approximateValue entit� and 7.5 entit� est un membre de entit� entit� est une instance de CoffeeGrind FineGrind est un attribut de entit� entit� est situ� � entit� entit� est une instance de Filter entit� est une instance de supprimer entit� est un instrument pour entit� entit� est un patient de entit� la fin de temps d'existence de entit� est entre la fin de temps d'existence de entit� et la fin de temps d'existence de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10769-10778	Physique est une instance de Heart physique a pour but entit� physiqueB and entit� physiqueB est une instance de HeartBeat entit� est une instance de LiquidMotion entit� est une instance de sang moves entit� and entit� physiqueB cause entit�

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: