TreeView Knowledge Base Browser - Air

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Air

Sigma KEE - Air

Air

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3471-3471
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14818-14819
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2433-2433
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2537-2537
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14817-14817	Air e' uma sub-classe de GasMixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 63-63	AirStream e' uma sub-classe de Air
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6096-6096
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6095-6095
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6094-6094

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7545-7554	Objeto e' uma instancia de Colloid Objeto e' uma &parte de Objeto Solid e' um atributo de Objeto Liquid e' um atributo de Objeto Objeto e' uma instancia de Air Objeto e' uma &parte de Objeto Objeto e' uma instancia de Aerosal
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1348	Entidade e' uma instancia de EngineChoke DeviceOn e' um atributo de Entidade vale durante Processo DeviceOff e' um atributo de Entidade vale durante Processo Objeto auto-conectado e' uma instancia de EngineCylinder capacity Objeto auto-conectado and Quantidade Constante Processo e' uma instancia de FourStrokeCompression Processo e' uma instancia de FourStrokeCompression eventLocated Processo and Objeto auto-conectado eventLocated Processo and Objeto auto-conectado Objeto e' uma instancia de Air Objeto e' uma instancia de Fuel Objeto e' uma &parte de Quantidade ConstanteIX1 Objeto e' uma &parte de Quantidade ConstanteIX1 a medida de Quantidade ConstanteIX1 e' Quantidade Constante Objeto e' uma instancia de Air Objeto e' uma instancia de Fuel Objeto e' uma &parte de Quantidade ConstanteIX2 Objeto e' uma &parte de Quantidade ConstanteIX2 a medida de Quantidade ConstanteIX2 e' Quantidade Constante Unidade de Medida e' uma instancia de Unidade de Medida a medida de Objeto e' ObjetoM Unidade de Medida(s) a medida de Objeto e' ObjetoM Unidade de Medida(s) a medida de Objeto e' ObjetoM Unidade de Medida(s) a medida de Objeto e' ObjetoM Unidade de Medida(s) ObjetoM + ObjetoM e' maior que ObjetoM + ObjetoM
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1647-1668	Processo e' uma instancia de Tornado Processo e' uma instancia de Rotating Objeto e' uma instancia de Air ProcessoRAN e' uma instancia de Translocation Processo e' um sub-processo de Processo ProcessoRAN e' um sub-processo de Processo Objeto e' um patient de ProcessoRAN as entidades no processo ProcessoRAN se movem Horizontal Objeto Objeto auto-conectado, ProcessoOP, Objeto auto-conectado, Objeto auto-conectado and Objeto auto-conectado Objeto e' uma instancia de Area Geografica eventLocated Processo and Objeto Objeto auto-conectado e' uma &parte de Objeto ConeSegment e' um atributo de Objeto auto-conectado o topo de Objeto auto-conectado e' ProcessoOP o fundo de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' uma instancia de Cloud o fundo de Objeto auto-conectado e' Objeto auto-conectado ProcessoOP encontra Objeto auto-conectado Objeto auto-conectado encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 55-60	Objeto e' uma instancia de Air Objeto Objeto e' uma instancia de Nitrogen Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 48-53	Objeto e' uma instancia de Air Objeto Objeto e' uma instancia de Oxygen Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 37-39	Substancia e' uma instancia de Air Substancia e' uma peca de EarthsAtmosphere

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2188-2196	Objeto e' uma instancia de AirEngineCoolingSystem Transferencia e' uma instancia de Resfriar Objeto e' um instrumento para Transferencia Objeto Objeto e' uma instancia de Air objectTransferred Transferencia and Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	Objeto e' uma instancia de VentedChestSeal Transferencia e' uma instancia de Colar objectTransferred Transferencia and Objeto Transferencia termina em Entidade Objeto tem por fim Transferencia Entidade, Entidade and Entidade Transferencia e' uma instancia de Air Entidade e' uma instancia de Lung Entidade e' uma instancia de Chest Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Transferencia esta' entre Entidade e Entidade vale durante imediatemente antes de tempo de existencia de Transferencia Objeto tem por fim Transferencia e' Outside em relacao a Entidade vale durante imediatemente apos tempo de existencia de Transferencia
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 799-810	Pneumothorax e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Air Entidade e' uma instancia de Lung Entidade e' uma instancia de Chest Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade esta' entre Entidade e Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1899-1906	Processo e' uma instancia de Aerating Entidade Objeto Entidade e' um patient de Processo Entidade e' uma instancia de Air Objeto e' um patient de Processo Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1886-1894	Fisico e' uma instancia de Aerator Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Combinar Entidade e' um recurso para Entidade Entidade e' uma instancia de Air Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 973-983	Fisico e' uma instancia de AirIntake Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Air Entidade e' uma instancia de Engine Entidade e' uma instancia de Transferencia Entidade tem como origem Fisico Entidade termina em Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 965-971	Fisico e' uma instancia de AirIntake Fisico tem por fim Entidade Entidade e' uma instancia de Air Fisico contem Entidade
No TPTP formula. May not be expressible in strict first order.	Weather.kif 41-46	Objeto e' uma instancia de AtmosphericRegion Objeto Objeto e' uma instancia de Air Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25500-25508	Fisico e' uma instancia de AirPump Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Transporte Entidade e' uma instancia de Air Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1519-1529	Fisico e' uma instancia de BleedingAir Fisico tem por fim Entidade Entidade Entidade e' uma instancia de FluidContainer Entidade e' uma instancia de Air Entidade contem Entidade vale durante imediatemente antes de Fisico Entidade nao contem %n Entidade vale durante imediatemente apos Fisico
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1112-1124	Fisico e' uma instancia de FuelAtomizer Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Fuel Entidade e' uma instancia de Spraying Entidade e' uma instancia de Air Entidade e' uma instancia de Combustao Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade e' um recurso para Entidade Entidade e' um recurso para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 943-958	Fisico e' uma instancia de AirFilter Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Remover Entidade e' uma &parte de Entidade Entidade e' uma instancia de Air Entidade e' uma instancia de Air Solid e' um atributo de Entidade Entidade e' um patient de Entidade Entidade e' uma &parte de Entidade Entidade tem como origem Entidade Entidade e' uma instancia de Mistura Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9080-9086	Objeto e' uma instancia de StormFront Objeto Objeto Objeto e' uma instancia de Air Objeto e' uma instancia de Air Objeto esta' entre Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1314-1323	Processo e' uma instancia de Haboob Processo Processo and Entidade Processo e' uma instancia de Thunderstorm Processo e' uma instancia de MotionDownward Entidade e' uma instancia de Air Entidade e' um patient de Processo Processo e' um sub-processo de Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3311-3321	Fisico e' uma instancia de MassAirflowSensor Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Transferencia Entidade e' uma instancia de Air Entidade e' um patient de Entidade Entidade e' uma instancia de Medir Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5200-5212	Fisico e' uma instancia de Supercharger Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de GasMotion Entidade tem como origem Fisico Entidade e' uma instancia de IntakeValve Entidade termina em Entidade Entidade e' uma instancia de Air objectTransferred Entidade and Entidade Pressurized e' um atributo de Entidade vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2912-2925	Fisico e' uma instancia de Storm Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de LowPressureWeatherSystem Entidade e' uma instancia de Regiao eventLocated Entidade and Entidade Entidade e' uma instancia de Air Entidade e' uma instancia de MotionUpward Entidade e' um patient de Entidade eventLocated Entidade and Entidade Entidade e' um sub-processo de Entidade vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14821-14826	Processo e' uma instancia de Wind Entidade Entidade e' um patient de Processo Entidade e' uma instancia de Air
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26832-26842	Fisico e' uma instancia de RoomHeater Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Air Entidade e' uma instancia de Comodo Entidade e' situado em Entidade Entidade e' uma instancia de Aquecer Entidade e' um patient de Entidade Fisico e' um instrumento para 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