Flying - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Flying

Flying

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17225-17226
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6017-6017
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6523-6523
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17224-17224	Flying e' uma sub-classe de Translocation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24428-24428
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24427-24427
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24426-24426

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 944-955	Processo e' uma instancia de Flying Entidade e' um patient de Processo Entidade e' uma instancia de AirLaunchMissile Entidade Entidade e' uma instancia de AtmosphericRegion Entidade e' situado em Entidade vale durante o comeco de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1051-1063	AutonomousAgent e' uma instancia de GuidedMissile Processo e' uma instancia de Flying AutonomousAgent e' um patient de Processo Processo Processo e' uma instancia de Guiar Processo e' um patient de Processo Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17228-17233	Processo e' uma instancia de Flying Objeto Objeto e' uma instancia de AtmosphericRegion eventLocated Processo and Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17252-17259	Processo e' uma instancia de Landing Entidade Processo Entidade e' uma instancia de AtmosphericRegion eventLocated Processo and Entidade vale durante o fim de tempo de existencia de Processo Processo e' um sub-processo de Processo Processo e' uma instancia de Flying
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17239-17246	Processo e' uma instancia de TakingOff Entidade Processo Entidade e' uma instancia de AtmosphericRegion eventLocated Processo and Entidade vale durante o comeco de tempo de existencia de Processo Processo e' um sub-processo de Processo Processo e' uma instancia de Flying

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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