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 2239-2241
No TPTP formula. May not be expressible in strict first order. Government.kif 2235-2235 代理人在区域内经营 的 1 数量 是 施事体instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2236-2236 代理人在区域内经营 的 2 数量 是 地理区域instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2234-2234 代理人在区域内经营二元谓语instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2237-2237 代理人在区域内经营有一部分位于subrelation

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 2228-2228 国家政党代理人在区域内经营subrelation
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 2362-2369

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4511-4519
No TPTP formula. May not be expressible in strict first order. Government.kif 4504-4509
No TPTP formula. May not be expressible in strict first order. Government.kif 4498-4502
No TPTP formula. May not be expressible in strict first order. Government.kif 2516-2524

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4118-4118 格鲁吉亚共和国agent 运作在 联合国驻格鲁吉亚观察团 地区


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