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 15584-15588
No TPTP formula. May not be expressible in strict first order. Merge.kif 15582-15582 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 15581-15581 Government is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15580-15580 Government is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 15583-15583 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 814-814
No TPTP formula. May not be expressible in strict first order. english_format.kif 815-815
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 1963-1971
No TPTP formula. May not be expressible in strict first order. Government.kif 4638-4643
No TPTP formula. May not be expressible in strict first order. Government.kif 4474-4482
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 13074-13078
No TPTP formula. May not be expressible in strict first order. Government.kif 2282-2290
No TPTP formula. May not be expressible in strict first order. Government.kif 1499-1510
No TPTP formula. May not be expressible in strict first order. Government.kif 761-769
No TPTP formula. May not be expressible in strict first order. Government.kif 1442-1448
No TPTP formula. May not be expressible in strict first order. Government.kif 1451-1455
No TPTP formula. May not be expressible in strict first order. Government.kif 2177-2182
No TPTP formula. May not be expressible in strict first order. Merge.kif 13093-13099
No TPTP formula. May not be expressible in strict first order. Government.kif 1473-1480
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 7222-7224 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 7215-7217 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 4611-4620
No TPTP formula. May not be expressible in strict first order. Government.kif 4449-4453
No TPTP formula. May not be expressible in strict first order. Government.kif 4433-4441
No TPTP formula. May not be expressible in strict first order. Government.kif 1299-1304
No TPTP formula. May not be expressible in strict first order. Government.kif 1293-1297
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 1322-1326
No TPTP formula. May not be expressible in strict first order. Government.kif 2141-2145
No TPTP formula. May not be expressible in strict first order. Government.kif 2036-2040
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 13080-13084
No TPTP formula. May not be expressible in strict first order. Government.kif 1332-1336
No TPTP formula. May not be expressible in strict first order. Government.kif 1499-1510
No TPTP formula. May not be expressible in strict first order. Government.kif 1457-1461
No TPTP formula. May not be expressible in strict first order. Government.kif 2335-2342
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10669-10681
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 2116-2121
No TPTP formula. May not be expressible in strict first order. Government.kif 2110-2114
No TPTP formula. May not be expressible in strict first order. Government.kif 2015-2019
No TPTP formula. May not be expressible in strict first order. Government.kif 4577-4582
No TPTP formula. May not be expressible in strict first order. Government.kif 1548-1550

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 4791-4791 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 721-721 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 2364-2364 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 1935-1935 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 4818-4818 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 4813-4813 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