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 16460-16464
No TPTP formula. May not be expressible in strict first order. Merge.kif 16458-16458 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 16457-16457 Government is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16456-16456 Government is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 16459-16459 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. english_format.kif 812-812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26289-26289
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 26288-26288
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26287-26287

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 1974-1982
No TPTP formula. May not be expressible in strict first order. Government.kif 4667-4672
No TPTP formula. May not be expressible in strict first order. Government.kif 4503-4511
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 13829-13833
No TPTP formula. May not be expressible in strict first order. Government.kif 2306-2314
No TPTP formula. May not be expressible in strict first order. Government.kif 1510-1521
No TPTP formula. May not be expressible in strict first order. Government.kif 772-780
No TPTP formula. May not be expressible in strict first order. Government.kif 1453-1459
No TPTP formula. May not be expressible in strict first order. Government.kif 1462-1466
No TPTP formula. May not be expressible in strict first order. Government.kif 2188-2193
No TPTP formula. May not be expressible in strict first order. Merge.kif 13848-13854
No TPTP formula. May not be expressible in strict first order. Government.kif 1484-1491
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 7982-7984 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 7975-7977 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 4640-4649
No TPTP formula. May not be expressible in strict first order. Government.kif 4478-4482
No TPTP formula. May not be expressible in strict first order. Government.kif 4462-4470
No TPTP formula. May not be expressible in strict first order. Government.kif 1310-1315
No TPTP formula. May not be expressible in strict first order. Government.kif 1304-1308
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 1333-1337
No TPTP formula. May not be expressible in strict first order. Government.kif 2152-2156
No TPTP formula. May not be expressible in strict first order. Government.kif 2047-2051
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 13835-13839
No TPTP formula. May not be expressible in strict first order. Government.kif 1343-1347
No TPTP formula. May not be expressible in strict first order. Government.kif 1510-1521
No TPTP formula. May not be expressible in strict first order. Government.kif 1468-1472
No TPTP formula. May not be expressible in strict first order. Government.kif 2359-2366
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13407-13419
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 2127-2132
No TPTP formula. May not be expressible in strict first order. Government.kif 2121-2125
No TPTP formula. May not be expressible in strict first order. Government.kif 2026-2030
No TPTP formula. May not be expressible in strict first order. Government.kif 4606-4611
No TPTP formula. May not be expressible in strict first order. Government.kif 1559-1561

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 4820-4820 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 792-792 USFoodAndDrugAdministration is a part of the organization the government of united states
No TPTP formula. May not be expressible in strict first order. Government.kif 2388-2388 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 1946-1946 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 4847-4847 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 4842-4842 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