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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - enemy
enemy

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2452-2453
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2447-2447 enemy 的 1 数量 是 施事体instance
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2448-2448 enemy 的 2 数量 是 施事体instance
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2449-2449 enemy对象态度instance
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2450-2450 enemy对称关系instance
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2451-2451 enemy感兴趣subrelation

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2715-2715
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65819-65819

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 89-103
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1876-1888
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 285-296
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2463-2469
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2455-2457

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2440-2445
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2332-2338
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2309-2328
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1478-1488
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2471-2474
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2174-2184
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2193-2203
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2032-2042
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1357-1373
No TPTP formula. May not be expressible in strict first order. Sports.kif 163-175


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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