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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - militaryOfArea
militaryOfArea

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


No TPTP formula. May not be expressible in strict first order. Military.kif 827-829
No TPTP formula. May not be expressible in strict first order. Military.kif 825-825 The number 1 argument of military of area is an instance of military organization
No TPTP formula. May not be expressible in strict first order. Military.kif 826-826 The number 2 argument of military of area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Military.kif 824-824 military of area is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1735-1735
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1734-1734
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1733-1733
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37650-37650
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37649-37649
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37648-37648

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2289-2308
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1924-1936
No TPTP formula. May not be expressible in strict first order. Military.kif 849-855
No TPTP formula. May not be expressible in strict first order. Military.kif 839-847

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


No TPTP formula. May not be expressible in strict first order. Military.kif 257-264
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1941-1956
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1356-1372
No TPTP formula. May not be expressible in strict first order. Military.kif 788-793

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 951-951 United states is a military of area of US military


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