Pulling - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Pulling

Pulling

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17663-17663	Pulling e' disjunto de Pushing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17635-17636
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17634-17634	Pulling e' uma sub-classe de Movimento

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48076-48076
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48075-48075
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48074-48074

antecedent

No TPTP formula. May not be expressible in strict first order.	Military.kif 759-769	Processo e' uma instancia de Pulling Processo e' um agente de AutonomousAgent ProcessoULLED e' um patient de Processo Processo termina em Entidade a distancia entre AutonomousAgent e Entidade e' Entidade a distancia entre ProcessoULLED e Entidade e' Entidade Entidade e' maior que Entidade vale durante Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17665-17683	Intervalo Temporal e' uma instancia de Pulling Intervalo Temporal tem como origem Objeto Intervalo Temporal e' um agente de AutonomousAgent AutonomousAgent e' situado em AutonomousAgentLOC vale durante o comeco de Intervalo Temporal Intervalo Temporal termina em Entidade Entidade Entidade and Entidade a distancia entre AutonomousAgentLOC e Entidade e' Entidade Entidade(s) a distancia entre AutonomousAgentLOC e Objeto e' Entidade Entidade(s) Entidade e' maior que Entidade vale durante imediatemente apos o comeco de Intervalo Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1852-1864	Objeto e' uma instancia de Wagon Processo e' uma instancia de Transporte Objeto e' um instrumento para Processo AutonomousAgent Processo e' uma instancia de Pulling Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo AutonomousAgent e' uma instancia de DomesticAnimal AutonomousAgent e' uma instancia de Vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7544-7549	AutonomousAgent e' uma instancia de AnimalTeam Processo Processo e' uma instancia de Pulling Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1562-1577	Fisico e' uma instancia de AutomaticGun Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Pulling Entidade e' uma instancia de GunTrigger Entidade e' um patient de Entidade Entidade e' uma &parte de Fisico Entidade e' uma instancia de Atirar Entidade e' uma instancia de Atirar Fisico e' um instrumento para Entidade Fisico e' um instrumento para Entidade Entidade e' igual a Entidade Entidade causa Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1579-1590	Fisico e' uma instancia de GunTrigger Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de AutomaticGun Fisico e' uma &parte de Entidade Fisico e' um patient de Entidade Entidade e' uma instancia de Pulling Entidade e' uma instancia de Atirar Entidade e' um instrumento para Entidade Entidade causa Entidade

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