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 2470-2470 enemy is disjoint from allied
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2453-2454 enemy is disjoint from allied
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2448-2448 The number 1 argument of enemy is an instance of agent
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2449-2449 The number 2 argument of enemy is an instance of agent
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2450-2450 enemy is an instance of object attitude
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2451-2451 enemy is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2452-2452 enemy is a subrelation of in scope of interest

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


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

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 2456-2460

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2441-2446
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 2832-2846
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2848-2863
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2474-2479
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 175-187


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