TreeView Knowledge Base Browser - Stealing

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 18580-18583
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 18579-18579	Stealing est une sous-classe de CriminalAction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18578-18578	Stealing est une sous-classe de obtention unilat�rale

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18595-18595	Robbing est une sous-classe de Stealing
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55212-55212
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55211-55211
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55210-55210

antecedent

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

Mid-level-ontology.kif 18585-18593

Processus est une instance de Stealing processus aboutit � agent cognitif processus a pour origine objet objet est une instance de agent cognitif
objet n' autorise %n{pas} agent cognitif � ex�cut� des t�ches du type processus aboutit � agent cognitif

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3718-3759	Objet est une instance de CarAlarm objet est une instance de SelfPoweredRoadVehicle objet est une partie de objet entit� entit�, entit� and entit� objet a pour but entit� est une instance de Stealing entit� est une instance de endommager entit� est une instance de humain entit� est un agent de entit� objet est un patient de entit� temps d'existence de entit� est entit� eventPartlyLocated entit� and entit� entit� entit� est une instance de son irradiant entit� est un agent de objet entit� cause entit� entit� a pour but entit� entit� est une instance de humain entit� est Near � entit� pendant entit� augmente la probabilit� de entit� conna�t entit� entit� est une instance de Stealing entit� est une instance de endommager eventPartlyLocated entit� and entit� objet est un patient de entit� pendant entit� temps d'existence de entit� finit temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1016-1034	Physique est une instance de FuelCapLock physique a pour but entit� entit� and entit� entit� est une instance de GasTank entit� est un trou dans entit� physique est connect� � entit� Locked est un attribut de physique pendant entit� diminue la probabilit� de entit� entit� entit� est une instance de Stealing entit� est une instance de Fuel entit� est situ� � entit� entit� est un patient de entit� pendant entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4002-4020	Physique est une instance de SteeringColumnLock physique a pour but entit� entit�, entit� and entit� entit� est une instance de SteeringColumn entit� est une instance de Automobile entit� est un composant de entit� physique est une partie de entit� entit� est une instance de Protecting physique est un instrument pour entit� Locked est un attribut de physique pendant entit� diminue la probabilit� de entit� entit� est une instance de Stealing entit� est un patient de entit� pendant entit�

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