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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Enemy

Sigma KEE - Enemy
Enemy(enemy)

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2461-2461
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10960-10960
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10958-10958
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10959-10959
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10957-10957
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2460-2460 Enemy is an instance of contest attribute
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2459-2459 Enemy is an instance of social role

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22060-22060
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22059-22059
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22058-22058

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2471-2474

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2463-2469


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