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. chinese_format.kif 3739-3741
No TPTP formula. May not be expressible in strict first order. Merge.kif 16889-16893
No TPTP formula. May not be expressible in strict first order. Merge.kif 16887-16887 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 16886-16886 Government is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16885-16885 Government is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 16888-16888 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 811-811
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. english_format.kif 812-812
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. relations-ro.kif 504-504
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26309-26309
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 803-803
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26308-26308
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26307-26307

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 1939-1947
No TPTP formula. May not be expressible in strict first order. Government.kif 4636-4641
No TPTP formula. May not be expressible in strict first order. Government.kif 4472-4480
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 14213-14217
No TPTP formula. May not be expressible in strict first order. Government.kif 2270-2278
No TPTP formula. May not be expressible in strict first order. Government.kif 1475-1486
No TPTP formula. May not be expressible in strict first order. Government.kif 736-745
No TPTP formula. May not be expressible in strict first order. Government.kif 1418-1424
No TPTP formula. May not be expressible in strict first order. Government.kif 1427-1431
No TPTP formula. May not be expressible in strict first order. Government.kif 2152-2157
No TPTP formula. May not be expressible in strict first order. Merge.kif 14232-14238
No TPTP formula. May not be expressible in strict first order. Government.kif 1449-1456
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 163-183

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9539-9541 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 9532-9534 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. MilitaryProcesses.kif 2808-2820
No TPTP formula. May not be expressible in strict first order. Government.kif 4609-4618
No TPTP formula. May not be expressible in strict first order. Government.kif 4447-4451
No TPTP formula. May not be expressible in strict first order. Government.kif 4431-4439
No TPTP formula. May not be expressible in strict first order. Government.kif 1275-1280
No TPTP formula. May not be expressible in strict first order. Government.kif 1269-1273
No TPTP formula. May not be expressible in strict first order. Government.kif 352-357
No TPTP formula. May not be expressible in strict first order. Government.kif 256-264
No TPTP formula. May not be expressible in strict first order. Government.kif 1298-1302
No TPTP formula. May not be expressible in strict first order. Government.kif 2116-2120
No TPTP formula. May not be expressible in strict first order. Government.kif 2012-2016
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 14219-14223
No TPTP formula. May not be expressible in strict first order. Government.kif 1308-1312
No TPTP formula. May not be expressible in strict first order. Government.kif 1475-1486
No TPTP formula. May not be expressible in strict first order. Government.kif 1433-1437
No TPTP formula. May not be expressible in strict first order. Government.kif 2323-2330
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15259-15271
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 163-183
No TPTP formula. May not be expressible in strict first order. Government.kif 2092-2097
No TPTP formula. May not be expressible in strict first order. Government.kif 2086-2090
No TPTP formula. May not be expressible in strict first order. Government.kif 1991-1995
No TPTP formula. May not be expressible in strict first order. Government.kif 4575-4580

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 4789-4789 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. VirusProteinAndCellPart.kif 1291-1291 US food and drug administration is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order. Government.kif 2352-2352 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 1911-1911 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 4816-4816 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 4811-4811 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 3.0 is open source software produced by Articulate Software and its partners