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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Translatory

 Sigma KEE - Hijacking
Hijacking

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21939-21940
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2689-2689
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21938-21938 Hijacking est une sous-classe de Robbing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28197-28197
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28196-28196
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28195-28195

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21949-21954
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21942-21947
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21956-21969


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