TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2405-2406
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6250-6252
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1088-1090
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6248-6248	UnitOfLength e' uma sub-classe de NonCompositeUnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7169-7169	Angstrom e' uma instancia de UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6776-6776	Centimeter e' uma instancia de UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3840-3840	Fathom e' uma instancia de UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7183-7183	FootLength e' uma instancia de UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7191-7191	Inch e' uma instancia de UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6795-6795	Kilometer e' uma instancia de UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6691-6691	Meter e' uma instancia de UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7091-7091	Micrometer e' uma instancia de UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7198-7198	Mile e' uma instancia de UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6788-6788	Millimeter e' uma instancia de UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19108-19108	Nanometer e' uma instancia de UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3855-3855	NauticalMile e' uma instancia de UnitOfLength
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19097-19097	YardLength e' uma instancia de UnitOfLength
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65660-65660

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17975-17986	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.	Cars.kif 809-825	dampingRatio PhysicalSystem and Numero Real Numero Real e' maior que 0 Intervalo Temporal e' uma instancia de Tremor PhysicalSystem e' um patient de Intervalo Temporal Entidade e' uma instancia de UnitOfLength physicalAmplitude Intervalo Temporal and Numero Real Entidade(s) vale durante Intervalo Temporal1 physicalAmplitude Intervalo Temporal and Numero Real Entidade(s) vale durante Intervalo Temporal2 Intervalo Temporal1 acontece durante Intervalo Temporal Intervalo Temporal2 acontece durante Intervalo Temporal Intervalo Temporal1 acontence antes de Intervalo Temporal2 Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1922-1930	elevation Objeto auto-conectado and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Objeto auto-conectado e' uma instancia de LandForm Objeto auto-conectado o topo de Objeto auto-conectado e' Objeto auto-conectado a distancia entre Objeto auto-conectado e SeaLevel e' Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6359-6363	Numero Real Unidade de Medida(s) e' igual a Quantidade Fisica Unidade de Medida e' uma instancia de UnitOfLength Quantidade Fisica e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1940-1954	Area Geografica e' uma instancia de Area Geografica geographicSubregion ElevationLowPointFn Area Geografica and Area Geografica Unidade de Medida e' uma instancia de UnitOfLength elevation ElevationLowPointFn Area Geografica and Numero Real Unidade de Medida(s) Area Geografica Numero Real geographicSubregion Area Geografica and Area Geografica Area Geografica e' igual a ElevationLowPointFn Area Geografica elevation Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 912-916	Area Geografica e' uma instancia de LandlockedArea Unidade de Medida e' uma instancia de UnitOfLength totalCoastline Area Geografica and 0.0 Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4693-4703	Objeto auto-conectado e' uma instancia de Bottle o fundo de Objeto auto-conectado e' Objeto auto-conectado o topo de Objeto auto-conectado e' Objeto auto-conectado Unidade de Medida e' uma instancia de UnitOfLength a largura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) a largura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 777-792	Processo e' uma instancia de Movimento Processo e' uma instancia de Tremor Objeto e' uma instancia de Damper Objeto e' um patient de Processo Objeto e' uma &parte de Objeto Processo causa Processo Entidade e' uma instancia de UnitOfLength physicalAmplitude Processo and Numero Real Entidade(s) vale durante tempo de existencia de Processo physicalAmplitude Processo and Numero Real Entidade(s) vale durante imediatemente apos Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1926-1948	Processo e' uma instancia de EngineCycle Engine e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de Piston Unidade de Medida e' uma instancia de UnitOfLength Objeto e' uma &parte de Engine Objeto e' um patient de Processo eventLocated Processo and Engine pistonStroke Engine and Numero Real Unidade de Medida(s) Intervalo Temporal Intervalo Temporal, Fisico, Fisico and Numero Real Intervalo Temporal acontece durante tempo de existencia de Processo Intervalo Temporal acontece durante tempo de existencia de Processo Objeto e' situado em Fisico vale durante Intervalo Temporal Objeto e' situado em Fisico vale durante Intervalo Temporal a distancia entre Fisico e Fisico e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1410-1429	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto e' uma instancia de Organismo Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1388-1406	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1325-1348	Objeto e' uma instancia de Lever Processo e' uma instancia de Pushing Fisico e' uma instancia de Movimento Unidade de Medida e' uma instancia de UnitOfLength Processo termina em Objeto physicalEnd Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto Objeto e' situado em Processo1 vale durante imediatemente antes de tempo de existencia de Fisico Objeto e' situado em Processo2 vale durante imediatemente apos tempo de existencia de Fisico Objeto e' situado em Processo3 vale durante imediatemente antes de tempo de existencia de Fisico Objeto e' situado em Processo4 vale durante imediatemente apos tempo de existencia de Fisico a distancia entre Processo1 e Processo2 e' Numero Real Unidade de Medida(s) a distancia entre Processo3 e Processo4 e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 2632-2641	Fisico e' uma instancia de Spaghetti Fisico e' uma instancia de Linguine Unidade de Medida e' uma instancia de UnitOfLength a largura de Fisico e' Numero Real Unidade de Medida(s) a largura de Fisico e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6779-6792	Processo e' uma instancia de LandSubsidence Objeto e' um patient de Processo Objeto e' uma instancia de Area terrestre Unidade de Medida e' uma instancia de UnitOfLength elevation Objeto and Numero Real Unidade de Medida(s) Entidade elevation Objeto and Entidade Unidade de Medida(s) Entidade e' menos que Numero Real vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6259-6268	Objeto auto-conectado e' uma instancia de BotanicalTree Objeto auto-conectado e' uma instancia de Shrub Unidade de Medida e' uma instancia de UnitOfLength a altura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) a altura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 587-592	Unidade de Medida e' uma instancia de UnitOfLength lengthOfExpresswaySystem Area Geografica and Numero Real Unidade de Medida(s) lengthOfPavedHighway Area Geografica and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 918-922	Unidade de Medida e' uma instancia de UnitOfLength totalCoastline Area Geografica and 0.0 Unidade de Medida(s) Area Geografica e' uma instancia de LandlockedArea
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2700-2706	Area Aquatica e' uma instancia de Waterway depth Fisico, Area Aquatica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Numero Real e' menos que Numero Real navigableForDraft Area Aquatica and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4247-4257	Objeto e' uma instancia de Basin Objeto e' uma instancia de Area terrestre Unidade de Medida e' uma instancia de UnitOfLength earthAltitude Objeto and Numero Real Unidade de Medida(s) earthAltitude Objeto and Numero Real Unidade de Medida(s) Objeto e' Adjacent em relacao a Objeto Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4206-4216	Objeto auto-conectado e' uma instancia de Piedmont MountainousTerrain e' um atributo de Objeto auto-conectado Objeto auto-conectado e' Adjacent em relacao a Objeto auto-conectado Unidade de Medida e' uma instancia de UnitOfLength a altura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) a altura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3999-4010	Objeto e' uma instancia de UndergroundArea Unidade de Medida e' uma instancia de UnitOfLength earthAltitude Objeto and Numero Real Unidade de Medida(s) Objeto auto-conectado e' uma superficie de PlanetEarth Objeto e' uma &parte de Objeto auto-conectado Objeto e' Below em relacao a Objeto earthAltitude Objeto and Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4231-4241	Objeto e' uma instancia de Valley Objeto e' uma instancia de Area terrestre Unidade de Medida e' uma instancia de UnitOfLength earthAltitude Objeto and Numero Real Unidade de Medida(s) earthAltitude Objeto and Numero Real Unidade de Medida(s) Objeto e' Adjacent em relacao a Objeto Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 191-199	lengthOfBroadGaugeRailway Area Geografica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Numero Real e' maior que 0 Fisico Fisico e' uma instancia de BroadGaugeRailway Fisico e' situado em Area Geografica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 219-227	lengthOfDualGaugeRailway Area Geografica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Numero Real e' maior que 0 Fisico Fisico e' uma instancia de DualGaugeRailway Fisico e' situado em Area Geografica
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 577-585	lengthOfExpresswaySystem Area Geografica and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Numero Real e' maior que 0 Fisico Fisico e' uma instancia de Expressway Fisico e' situado em Area Geografica

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7794-7802	Objeto e' maior do que Objeto Numero Real Numero Real and Unidade de Medida a medida de Objeto e' Numero Real Unidade de Medida(s) a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17612-17627	Processo e' uma instancia de Flooding eventLocated Processo and Objeto Numero Real Numero Real and Entidade Entidade e' uma instancia de UnitOfLength waterDepth Objeto and Numero Real Entidade(s) vale durante o comeco de tempo de existencia de Processo waterDepth Objeto and Numero Real Entidade(s) vale durante o fim de tempo de existencia de Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 1083-1088	Objeto auto-conectado e' uma instancia de Grain grainSize Objeto auto-conectado and Numero Real approximateDiameter Objeto auto-conectado and Numero Real UnitOfLength(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23862-23877	Processo e' uma instancia de Lengthening Entidade e' um patient de Processo Processo1 Processo2 and Entidade Entidade e' uma instancia de UnitOfLength o comprimento de Entidade e' Processo1 Entidade(s) vale durante o comeco de tempo de existencia de Processo o comprimento de Entidade e' Processo2 Entidade(s) vale durante o fim de tempo de existencia de Processo Processo2 e' maior que Processo1
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4958-4976	Intervalo Temporal e' uma instancia de LowTide Intervalo Temporal e' uma instancia de HighTide eventLocated Intervalo Temporal and Objeto eventLocated Intervalo Temporal and Objeto Intervalo Temporal e' uma instancia de Dia Intervalo Temporal engloba Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal Numero Real Numero Real and Entidade Entidade e' uma instancia de UnitOfLength waterDepth Objeto and Numero Real Entidade(s) vale durante Intervalo Temporal waterDepth Objeto and 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.	emotion.kif 1393-1411	Processo e' uma instancia de MovingAwayFromPeople Processo e' um agente de AutonomousAgent Entidade Entidade, Numero Real and Numero Real Entidade e' uma instancia de Humano Entidade e' uma instancia de UnitOfLength a distancia entre Processo e AutonomousAgent e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Processo a distancia entre Processo e AutonomousAgent 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.	emotion.kif 1427-1445	Processo e' uma instancia de MovingTowardsPeople Processo e' um agente de AutonomousAgent Entidade Entidade, Numero Real and Numero Real Entidade e' uma instancia de Humano Entidade e' uma instancia de UnitOfLength a distancia entre Processo e AutonomousAgent e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Processo a distancia entre Processo e AutonomousAgent 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.	Mid-level-ontology.kif 17235-17250	Processo e' uma instancia de Shortening Entidade e' um patient de Processo Numero Real Numero Real and Entidade Entidade e' uma instancia de UnitOfLength o comprimento de Entidade e' Numero Real Entidade(s) vale durante o comeco de tempo de existencia de Processo o comprimento de Entidade e' Numero Real Entidade(s) vale durante o fim de tempo de existencia de Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1515-1530	WaterWave e' uma instancia de WaterWave waveHeight WaterWave and Medida de Comprimento Lista Area Aquatica, Unidade de Medida and Numero Real Medida de Comprimento e' um membro de Lista Area Aquatica e' uma instancia de Area Aquatica eventLocated WaterWave and Area Aquatica Unidade de Medida e' uma instancia de UnitOfLength significantWaveHeight Area Aquatica, tempo de existencia de WaterWave and Numero Real Unidade de Medida(s) Numero Real e' igual a 4.0 + StandardDeviationFn Lista
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2775-2788	Flat e' um atributo de Objeto auto-conectado Objeto auto-conectado Objeto auto-conectado, Numero Real, Numero Real, Numero Real and Unidade de Medida o side de Objeto auto-conectado e' Objeto auto-conectado o side de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado encontra Objeto auto-conectado Objeto auto-conectado e' igual a Objeto auto-conectado Unidade de Medida e' uma instancia de UnitOfLength a altura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) a altura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) a altura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) Numero Real e' maior que 2.0 + Numero Real Numero Real e' maior que 2.0 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2796-2809	LongAndThin e' um atributo de Objeto auto-conectado Objeto auto-conectado Objeto auto-conectado, Numero Real, Numero Real, Numero Real and Unidade de Medida o side de Objeto auto-conectado e' Objeto auto-conectado o side de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado encontra Objeto auto-conectado Objeto auto-conectado e' igual a Objeto auto-conectado Unidade de Medida e' uma instancia de UnitOfLength o comprimento de Objeto auto-conectado e' Numero Real Unidade de Medida(s) o comprimento de Objeto auto-conectado e' Numero Real Unidade de Medida(s) o comprimento de Objeto auto-conectado e' Numero Real Unidade de Medida(s) Numero Real e' menos que 3.0 + Numero Real Numero Real e' menos que 3.0 + Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2816-2829	LevelShape e' um atributo de Objeto auto-conectado Objeto auto-conectado Objeto auto-conectado, Objeto auto-conectado, Numero Real, Numero Real and Unidade de Medida o topo de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' uma &parte de Objeto auto-conectado Objeto auto-conectado e' uma &parte de Objeto auto-conectado Unidade de Medida e' uma instancia de UnitOfLength a altura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) a altura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6017-6036	Fisico e' uma instancia de Planer Fisico tem por fim Entidade Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Cortar Fisico e' um instrumento para Entidade Entidade e' um recurso para Entidade Entidade e' uma instancia de Objeto Entidade e' feito de Wood Entidade e' o resultado de Entidade Entidade e' uma instancia de Objeto Wood e' feito de Entidade Flat e' um atributo de Entidade Entidade e' uma instancia de UnitOfLength a altura de Entidade e' Entidade Entidade(s) a altura de Entidade e' Entidade Entidade(s) Entidade e' maior que Entidade
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4107-4118	Objeto auto-conectado e' uma instancia de SlopedArea Objeto auto-conectado Objeto auto-conectado, Numero Real, Numero Real and Unidade de Medida o topo de Objeto auto-conectado e' Objeto auto-conectado o fundo de Objeto auto-conectado e' Objeto auto-conectado Unidade de Medida e' uma instancia de UnitOfLength earthAltitude Objeto auto-conectado and Numero Real Unidade de Medida(s) earthAltitude Objeto auto-conectado and Numero Real Unidade de Medida(s) 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: