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 895-897
No TPTP formula. May not be expressible in strict first order. Military.kif 893-893 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 894-894 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 892-892 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 1739-1739
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1738-1738
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1737-1737
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37670-37670
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37669-37669
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37668-37668

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


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 1943-1955
No TPTP formula. May not be expressible in strict first order. Military.kif 920-928
No TPTP formula. May not be expressible in strict first order. Military.kif 908-918

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


No TPTP formula. May not be expressible in strict first order. Military.kif 334-341
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1960-1975
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. Military.kif 856-861

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 952-952 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