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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - agentOperatesInArea
agentOperatesInArea

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2199-2201
No TPTP formula. May not be expressible in strict first order. Government.kif 2195-2195 The number 1 argument of agent operates in area is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 2196-2196 The number 2 argument of agent operates in area is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Government.kif 2194-2194 agent operates in area is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 2197-2197 agent operates in area is a subrelation of partly located

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28-28
No TPTP formula. May not be expressible in strict first order. Government.kif 2188-2188 political party of country is a subrelation of agent operates in area
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1405-1405 "agent operates in area" is the printable form of agent operates in area in english language

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2309-2316

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4448-4456
No TPTP formula. May not be expressible in strict first order. Government.kif 4441-4446
No TPTP formula. May not be expressible in strict first order. Government.kif 4435-4439
No TPTP formula. May not be expressible in strict first order. Government.kif 2463-2471

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4055-4055 Republic of georgia is an agent operates in area of united nations observer mission in georgia


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners