Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Robbing

 Sigma KEE - Robbing
Robbing(劫財)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18596-18597
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2926-2926
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2927-2927
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2731-2731
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18595-18595 子類 劫財 and 偷竊行為

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21885-21885 子類 劫持 and 劫財
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21943-21943 子類 綁架 and 劫財
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50216-50216
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50215-50215
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50214-50214

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18599-18613


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