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 e' uma sub-classe de CompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13633-13633	CubicFoot e' uma instancia de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7234-7234	Cup e' uma instancia de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13676-13676	LiquorShot e' uma instancia de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6769-6769	Liter e' uma instancia de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7243-7243	Ounce e' uma instancia de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7225-7225	Pint e' uma instancia de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7216-7216	Quart e' uma instancia de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13661-13661	RegistryTon e' uma instancia de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7252-7252	UnitedKingdomGallon e' uma instancia de UnitOfVolume
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7206-7206	UnitedStatesGallon e' uma instancia 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 17947-17958	approximateDiameter Objeto auto-conectado and Numero Real Numero RealM(s) sphereRadius Objeto and Numero Real + 2.0 Numero RealM(s) a medida de Objeto e' Numero Real Unidade de Medida(s) a medida de Objeto auto-conectado e' Numero Real Unidade de Medida(s) Numero RealM e' uma instancia de UnitOfLength Unidade de Medida e' uma instancia de UnitOfVolume Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6376-6380	Numero Real Unidade de Medida(s) e' igual a Quantidade Fisica Unidade de Medida e' uma instancia de UnitOfVolume Quantidade Fisica e' uma instancia de Medida de Volume
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10054-10077	Objeto e' uma instancia de Antidiuretic Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal e' uma instancia de Urination Intervalo Temporal e' igual a Intervalo Temporal Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal acontence antes de Movimento Movimento acontence antes de Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfVolume a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) o argumento Numero Real e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10024-10045	Objeto e' uma instancia de Diuretic Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal acontence antes de Movimento Movimento acontence antes de Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfVolume a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) o argumento Numero Real e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2817-2836	Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de CombustionChamber Objeto e' uma &parte de Objeto Entidade e' uma instancia de Fuel Entidade e' uma instancia de UnitOfVolume Objeto contem Entidade a medida de Entidade e' Entidade Entidade(s) EngineFlooded e' um atributo de Objeto vale durante Posicao Temporal Objeto tem por fim Entidade2 Entidade Entidade2 e' uma instancia de Fuel Objeto contem Entidade2 a medida de Entidade2 e' Entidade Entidade(s) Entidade e' maior ou igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1904-1923	Processo e' uma instancia de EngineCycle Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de CombustionChamber Objeto e' uma &parte de Objeto eventLocated Processo and Objeto Entidade e' uma instancia de UnitOfVolume maxCylinderVolume Objeto and Numero Real Entidade(s) vale durante tempo de existencia de Processo Numero Real Intervalo Temporal Intervalo Temporal acontece durante tempo de existencia de Processo a medida de Objeto e' Numero Real Entidade(s) vale durante Intervalo Temporal Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1874-1893	Processo e' uma instancia de EngineCycle Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de CombustionChamber Objeto e' uma &parte de Objeto eventLocated Processo and Objeto Entidade e' uma instancia de UnitOfVolume minCylinderVolume Objeto and Numero Real Entidade(s) vale durante tempo de existencia de Processo Numero Real Intervalo Temporal Intervalo Temporal acontece durante tempo de existencia de Processo a medida de Objeto e' Numero Real Entidade(s) vale durante Intervalo Temporal Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 2969-2986	Objeto e' uma instancia de OnePercentMilk a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfVolume Objeto Numero Real2 Objeto e' uma instancia de ButterFat Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de ButterFat Objeto e' igual a Objeto Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real2 Unidade de Medida(s) Numero Real2 e' igual a 0.01 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 2993-3011	Objeto e' uma instancia de SemiSkimmedMilk a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfVolume Objeto Numero Real2 Objeto e' uma instancia de ButterFat Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de ButterFat Objeto e' igual a Objeto Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real2 Unidade de Medida(s) Numero Real2 e' maior ou igual a 0.015 + Numero Real Numero Real2 e' menor ou igual a 0.02 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 3018-3036	Objeto e' uma instancia de SkimmedMilk a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfVolume Objeto Numero Real2 Objeto e' uma instancia de ButterFat Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de ButterFat Objeto e' igual a Objeto Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real2 Unidade de Medida(s) Numero Real2 e' maior ou igual a 0.0 + Numero Real Numero Real2 e' menor ou igual a 0.005 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 2945-2962	Objeto e' uma instancia de TwoPercentMilk a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfVolume Objeto Numero Real2 Objeto e' uma instancia de ButterFat Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de ButterFat Objeto e' igual a Objeto Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real2 Unidade de Medida(s) Numero Real2 e' igual a 0.02 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 2851-2869	Objeto e' uma instancia de WholeMilk a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfVolume Objeto Numero Real2 Objeto e' uma instancia de ButterFat Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de ButterFat Objeto e' igual a Objeto Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real2 Unidade de Medida(s) Numero Real2 e' maior ou igual a 0.0325 + Numero Real Numero Real2 e' menor ou igual a 0.05 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1993-2005	Entidade e' uma instancia de Objeto auto-conectado Processo e' uma instancia de Compressing Entidade e' um patient de Processo a medida de Entidade e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Processo Entidade e' uma instancia de UnitOfVolume a medida de Entidade e' Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2689-2702	Processo e' uma instancia de Erosion Fisico e' uma instancia de LandForm Fisico e' um patient de Processo Unidade de Medida e' uma instancia de UnitOfVolume a medida de Fisico e' Numero Real Unidade de Medida(s) Entidade a medida de Fisico e' Entidade Unidade de Medida(s) Entidade e' menos que Numero Real vale durante imediatemente apos tempo de existencia de Processo

consequent

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

Cars.kif 3614-3630

Fisico e' uma instancia de Inflating
Objeto Objeto, Numero Real, Numero Real, Classe and Entidade Objeto e' uma instancia de Classe Objeto e' uma instancia de Classe Classe e' uma instancia de Substancia Gas e' um atributo de Objeto Gas e' um atributo de Objeto Entidade e' uma instancia de UnitOfVolume a medida de Objeto e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Fisico a medida de Objeto e' Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de Fisico Numero Real e' maior que Numero Real

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: