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

Formal Language: 



KB Term:  Term intersection
English Word: 

  agentOperatesInArea

Sigma KEE - agentOperatesInArea
agentOperatesInArea

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2203-2205
No TPTP formula. May not be expressible in strict first order. Government.kif 2199-2199 O argumento numero 1 de agentOperatesInArea e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Government.kif 2200-2200 O argumento numero 2 de agentOperatesInArea e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order. Government.kif 2198-2198 agentOperatesInArea e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Government.kif 2201-2201 agentOperatesInArea e' uma sub-relacao de partlyLocated

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 76-76
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 75-75
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 74-74
No TPTP formula. May not be expressible in strict first order. Government.kif 2192-2192 politicalPartyOfCountry e' uma sub-relacao de agentOperatesInArea
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5826-5826
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5825-5825
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5824-5824

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2326-2333

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4475-4483
No TPTP formula. May not be expressible in strict first order. Government.kif 4468-4473
No TPTP formula. May not be expressible in strict first order. Government.kif 4462-4466
No TPTP formula. May not be expressible in strict first order. Government.kif 2480-2488

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4082-4082 agentOperatesInArea UnitedNationsObserverMissionInGeorgia and RepublicOfGeorgia


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

Show without tree


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