TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2413-2414
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6285-6287
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1100-1101
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6283-6283	UnitOfVolume est une sous-classe de CompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13634-13634	CubicFoot est une instance de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7234-7234	Cup est une instance de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13677-13677	LiquorShot est une instance de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6769-6769	Liter est une instance de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7243-7243	Ounce est une instance de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7225-7225	Pint est une instance de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7216-7216	Quart est une instance de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13662-13662	RegistryTon est une instance de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7252-7252	UnitedKingdomGallon est une instance de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7206-7206	UnitedStatesGallon est une instance de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65662-65662

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17948-17959	approximateDiameter objet en une partie and nombre r�el nombre r�elM(s) sphereRadius objet and nombre r�el + 2.0 nombre r�elM(s) la mesure de objet est nombre r�el unit� de mesure(s) la mesure de objet en une partie est nombre r�el unit� de mesure(s) nombre r�elM est une instance de UnitOfLength unit� de mesure est une instance de UnitOfVolume nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6376-6380	Nombre r�el unit� de mesure(s) est quantit� physique unit� de mesure est une instance de UnitOfVolume quantit� physique est une instance de mesure de volume
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10055-10078	Objet est une instance de Antidiuretic d�palcement est une instance de ing�rer d�palcement est un agent de AutonomousAgent moves d�palcement and objet interval temporel est une instance de Urination entit� est le resultat de interval temporel interval temporel est un agent de AutonomousAgent interval temporel est une instance de Urination interval temporel est interval temporel entit� est le resultat de interval temporel interval temporel est un agent de AutonomousAgent interval temporel arrive plus t�t que d�palcement d�palcement arrive plus t�t que interval temporel unit� de mesure est une instance de UnitOfVolume la mesure de interval temporel est nombre r�el unit� de mesure(s) la mesure de interval temporel est nombre r�el unit� de mesure(s) l'argument nombre r�el est plus grand que nombre r�el a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10025-10046	Objet est une instance de Diuretic d�palcement est une instance de ing�rer d�palcement est un agent de AutonomousAgent moves d�palcement and objet interval temporel est une instance de Urination entit� est le resultat de interval temporel interval temporel est un agent de AutonomousAgent interval temporel est une instance de Urination entit� est le resultat de interval temporel interval temporel est un agent de AutonomousAgent interval temporel arrive plus t�t que d�palcement d�palcement arrive plus t�t que interval temporel unit� de mesure est une instance de UnitOfVolume la mesure de interval temporel est nombre r�el unit� de mesure(s) la mesure de interval temporel est nombre r�el unit� de mesure(s) l'argument nombre r�el est plus grand que nombre r�el a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2811-2830	Objet est une instance de InternalCombustionEngine objet est une instance de CombustionChamber objet est une partie de objet entit� est une instance de Fuel entit� est une instance de UnitOfVolume objet contient entit� la mesure de entit� est entit� entit�(s) EngineFlooded est un attribut de objet pendant position temporel objet a pour but entit�2 entit� entit�2 est une instance de Fuel objet contient entit�2 la mesure de entit�2 est entit� entit�(s) entit� est plus grand ou �gal � entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1898-1917	Processus est une instance de EngineCycle objet est une instance de InternalCombustionEngine objet est une instance de CombustionChamber objet est une partie de objet eventLocated processus and objet entit� est une instance de UnitOfVolume maxCylinderVolume objet and nombre r�el entit�(s) pendant temps d'existence de processus nombre r�el interval temporel interval temporel prend place pendant temps d'existence de processus la mesure de objet est nombre r�el entit�(s) pendant interval temporel nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1868-1887	Processus est une instance de EngineCycle objet est une instance de InternalCombustionEngine objet est une instance de CombustionChamber objet est une partie de objet eventLocated processus and objet entit� est une instance de UnitOfVolume minCylinderVolume objet and nombre r�el entit�(s) pendant temps d'existence de processus nombre r�el interval temporel interval temporel prend place pendant temps d'existence de processus la mesure de objet est nombre r�el entit�(s) pendant interval temporel nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Food.kif 2969-2986	Objet est une instance de OnePercentMilk la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfVolume objet nombre r�el2 objet est une instance de ButterFat objet est une partie de objet objet objet est une instance de ButterFat objet est objet objet est une partie de objet la mesure de objet est nombre r�el2 unit� de mesure(s) nombre r�el2 est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Food.kif 2993-3011	Objet est une instance de SemiSkimmedMilk la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfVolume objet nombre r�el2 objet est une instance de ButterFat objet est une partie de objet objet objet est une instance de ButterFat objet est objet objet est une partie de objet la mesure de objet est nombre r�el2 unit� de mesure(s) nombre r�el2 est plus grand ou �gal � 0.015 + nombre r�el nombre r�el2 est plus petit ou �gal � 0.02 + nombre r�el
No TPTP formula. May not be expressible in strict first order.	Food.kif 3018-3036	Objet est une instance de SkimmedMilk la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfVolume objet nombre r�el2 objet est une instance de ButterFat objet est une partie de objet objet objet est une instance de ButterFat objet est objet objet est une partie de objet la mesure de objet est nombre r�el2 unit� de mesure(s) nombre r�el2 est plus grand ou �gal � 0.0 + nombre r�el nombre r�el2 est plus petit ou �gal � 0.005 + nombre r�el
No TPTP formula. May not be expressible in strict first order.	Food.kif 2945-2962	Objet est une instance de TwoPercentMilk la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfVolume objet nombre r�el2 objet est une instance de ButterFat objet est une partie de objet objet objet est une instance de ButterFat objet est objet objet est une partie de objet la mesure de objet est nombre r�el2 unit� de mesure(s) nombre r�el2 est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Food.kif 2851-2869	Objet est une instance de WholeMilk la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfVolume objet nombre r�el2 objet est une instance de ButterFat objet est une partie de objet objet objet est une instance de ButterFat objet est objet objet est une partie de objet la mesure de objet est nombre r�el2 unit� de mesure(s) nombre r�el2 est plus grand ou �gal � 0.0325 + nombre r�el nombre r�el2 est plus petit ou �gal � 0.05 + nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1987-1999	Entit� est une instance de objet en une partie processus est une instance de Compressing entit� est un patient de processus la mesure de entit� est nombre r�el entit�(s) pendant immediatement avant temps d'existence de processus entit� est une instance de UnitOfVolume la mesure de entit� est nombre r�el entit�(s) pendant immediatement apr�s temps d'existence de processus nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2689-2702	Processus est une instance de Erosion physique est une instance de LandForm physique est un patient de processus unit� de mesure est une instance de UnitOfVolume la mesure de physique est nombre r�el unit� de mesure(s) entit� la mesure de physique est entit� unit� de mesure(s) entit� est moins que nombre r�el pendant immediatement apr�s temps d'existence de processus

consequent

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

Cars.kif 3606-3622

Physique est une instance de Inflating
objet objet, nombre r�el, nombre r�el, classe and entit� objet est une instance de classe objet est une instance de classe classe est une instance de substance Gas est un attribut de objet Gas est un attribut de objet entit� est une instance de UnitOfVolume la mesure de objet est nombre r�el entit�(s) pendant immediatement avant temps d'existence de physique la mesure de objet est nombre r�el entit�(s) pendant immediatement apr�s temps d'existence de physique nombre r�el est plus grand que nombre r�el

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: