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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GovernmentFn
GovernmentFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16846-16848
No TPTP formula. May not be expressible in strict first order. Merge.kif 16841-16845
No TPTP formula. May not be expressible in strict first order. Merge.kif 16839-16839 The number 1 argument of government is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 16838-16838 Government is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16837-16837 Government is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 16840-16840 The range of government is an instance of government

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 802-802
No TPTP formula. May not be expressible in strict first order. english_format.kif 493-493
No TPTP formula. May not be expressible in strict first order. french_format.kif 482-482
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 434-434
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 803-803 "政府函数" is the printable form of government in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4804-4804 "government" is the printable form of government in english language

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


No TPTP formula. May not be expressible in strict first order. Government.kif 148-152
No TPTP formula. May not be expressible in strict first order. Government.kif 1937-1945
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 121-125
No TPTP formula. May not be expressible in strict first order. Merge.kif 13928-13932
No TPTP formula. May not be expressible in strict first order. Government.kif 2256-2264
No TPTP formula. May not be expressible in strict first order. Government.kif 1473-1484
No TPTP formula. May not be expressible in strict first order. Government.kif 768-776
No TPTP formula. May not be expressible in strict first order. Government.kif 1416-1422
No TPTP formula. May not be expressible in strict first order. Government.kif 1425-1429
No TPTP formula. May not be expressible in strict first order. Government.kif 2151-2156
No TPTP formula. May not be expressible in strict first order. Merge.kif 13947-13953
No TPTP formula. May not be expressible in strict first order. Government.kif 1447-1454

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8024-8026 A geopolitical area is an instance of city if and only if the government of the geopolitical area is an instance of city government
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8017-8019 A geopolitical area is an instance of state or province if and only if the government of the geopolitical area is an instance of state government
No TPTP formula. May not be expressible in strict first order. Government.kif 4585-4594
No TPTP formula. May not be expressible in strict first order. Government.kif 4423-4427
No TPTP formula. May not be expressible in strict first order. Government.kif 4407-4415
No TPTP formula. May not be expressible in strict first order. Government.kif 1273-1278
No TPTP formula. May not be expressible in strict first order. Government.kif 1267-1271
No TPTP formula. May not be expressible in strict first order. Government.kif 340-345
No TPTP formula. May not be expressible in strict first order. Government.kif 244-252
No TPTP formula. May not be expressible in strict first order. Government.kif 1296-1300
No TPTP formula. May not be expressible in strict first order. Government.kif 2115-2119
No TPTP formula. May not be expressible in strict first order. Government.kif 2010-2014
No TPTP formula. May not be expressible in strict first order. Government.kif 142-146
No TPTP formula. May not be expressible in strict first order. Merge.kif 13934-13938
No TPTP formula. May not be expressible in strict first order. Government.kif 1306-1310
No TPTP formula. May not be expressible in strict first order. Government.kif 1473-1484
No TPTP formula. May not be expressible in strict first order. Government.kif 1431-1435
No TPTP formula. May not be expressible in strict first order. Government.kif 2309-2316
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11232-11244
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 163-174
No TPTP formula. May not be expressible in strict first order. Government.kif 2090-2095
No TPTP formula. May not be expressible in strict first order. Government.kif 2084-2088
No TPTP formula. May not be expressible in strict first order. Government.kif 1989-1993
No TPTP formula. May not be expressible in strict first order. Government.kif 4551-4556
No TPTP formula. May not be expressible in strict first order. Government.kif 1522-1524

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 4764-4764 Department of homeland security is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order. Government.kif 2338-2338 US state department is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order. Government.kif 1909-1909 United states congress is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order. Government.kif 4791-4791 United states department of interior is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order. Government.kif 4786-4786 United states department of state is a part of the organization the government of united states


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