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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CuzcoPeru

 Sigma KEE - Robbing
Robbing

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18624-18625
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 18623-18623 Robbing est une sous-classe de Stealing

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21938-21938 Hijacking est une sous-classe de Robbing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21996-21996 Kidnapping est une sous-classe de Robbing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50218-50218
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50217-50217
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50216-50216

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


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


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