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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GovernmentFn

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 16714-16718
No TPTP formula. May not be expressible in strict first order. Merge.kif 16712-16712 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 16711-16711 Government is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16710-16710 Government is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 16713-16713 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 26298-26298
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 26297-26297
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26296-26296

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 1977-1985
No TPTP formula. May not be expressible in strict first order. Government.kif 4675-4680
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 121-125
No TPTP formula. May not be expressible in strict first order. Merge.kif 14060-14064
No TPTP formula. May not be expressible in strict first order. Government.kif 2309-2317
No TPTP formula. May not be expressible in strict first order. Government.kif 1513-1524
No TPTP formula. May not be expressible in strict first order. Government.kif 774-783
No TPTP formula. May not be expressible in strict first order. Government.kif 1456-1462
No TPTP formula. May not be expressible in strict first order. Government.kif 1465-1469
No TPTP formula. May not be expressible in strict first order. Government.kif 2191-2196
No TPTP formula. May not be expressible in strict first order. Merge.kif 14079-14085
No TPTP formula. May not be expressible in strict first order. Government.kif 1487-1494
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 8333-8335 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 8326-8328 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 4648-4657
No TPTP formula. May not be expressible in strict first order. Government.kif 4486-4490
No TPTP formula. May not be expressible in strict first order. Government.kif 4470-4478
No TPTP formula. May not be expressible in strict first order. Government.kif 1313-1318
No TPTP formula. May not be expressible in strict first order. Government.kif 1307-1311
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 1336-1340
No TPTP formula. May not be expressible in strict first order. Government.kif 2155-2159
No TPTP formula. May not be expressible in strict first order. Government.kif 2050-2054
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 14066-14070
No TPTP formula. May not be expressible in strict first order. Government.kif 1346-1350
No TPTP formula. May not be expressible in strict first order. Government.kif 1513-1524
No TPTP formula. May not be expressible in strict first order. Government.kif 1471-1475
No TPTP formula. May not be expressible in strict first order. Government.kif 2362-2369
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13888-13900
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 2130-2135
No TPTP formula. May not be expressible in strict first order. Government.kif 2124-2128
No TPTP formula. May not be expressible in strict first order. Government.kif 2029-2033
No TPTP formula. May not be expressible in strict first order. Government.kif 4614-4619
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 712-724

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 4828-4828 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 1283-1283 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 2391-2391 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 1949-1949 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 4855-4855 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 4850-4850 United states department of state is a part of the organization the government of united states


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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