Stealing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Stealing

Stealing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18608-18611
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2002-2002
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18607-18607	Stealing e' uma sub-classe de CriminalAction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18606-18606	Stealing e' uma sub-classe de Obtencao Unilateral

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18623-18623	Robbing e' uma sub-classe de Stealing
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55214-55214
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55213-55213
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55212-55212

antecedent

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

Mid-level-ontology.kif 18613-18621

Processo e' uma instancia de Stealing Processo termina em Agente Cognitivo Processo tem como origem Objeto Objeto e' uma instancia de Agente Cognitivo
Objeto nao autoriza %n Agente Cognitivo a executar tarefas de tipo Processo termina em Agente Cognitivo

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3695-3736	Objeto e' uma instancia de CarAlarm Objeto e' uma instancia de SelfPoweredRoadVehicle Objeto e' uma &parte de Objeto Entidade Entidade, Entidade and Entidade Objeto tem por fim Entidade e' uma instancia de Stealing Entidade e' uma instancia de Causar Dano Entidade e' uma instancia de Humano Entidade e' um agente de Entidade Objeto e' um patient de Entidade tempo de existencia de Entidade e' igual a Entidade eventPartlyLocated Entidade and Entidade Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um agente de Objeto Entidade causa Entidade Entidade tem por fim Entidade Entidade e' uma instancia de Humano Entidade e' Near em relacao a Entidade vale durante Entidade aumenta a probabilidade de Entidade sabe Entidade Entidade e' uma instancia de Stealing Entidade e' uma instancia de Causar Dano eventPartlyLocated Entidade and Entidade Objeto e' um patient de Entidade vale durante Entidade tempo de existencia de Entidade termina em tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1016-1034	Fisico e' uma instancia de FuelCapLock Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de GasTank Entidade e' um buraco dans Entidade Fisico e' conectado com Entidade Locked e' um atributo de Fisico vale durante Entidade diminui a probabilidade de Entidade Entidade Entidade e' uma instancia de Stealing Entidade e' uma instancia de Fuel Entidade e' situado em Entidade Entidade e' um patient de Entidade vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3979-3997	Fisico e' uma instancia de SteeringColumnLock Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de SteeringColumn Entidade e' uma instancia de Automobile Entidade e' um componente de Entidade Fisico e' uma &parte de Entidade Entidade e' uma instancia de Protecting Fisico e' um instrumento para Entidade Locked e' um atributo de Fisico vale durante Entidade diminui a probabilidade de Entidade Entidade e' uma instancia de Stealing Entidade e' um patient de Entidade vale durante 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