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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Election

 Sigma KEE - Election
Election(選舉)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2943-2944
No TPTP formula. May not be expressible in strict first order. Merge.kif 10553-10555
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1697-1699
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5980-5980
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6451-6451
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6452-6452
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6453-6453
No TPTP formula. May not be expressible in strict first order. Merge.kif 10551-10551 子類 選舉 and OrganizationalProcess

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1686-1686 範圍子類 選舉 and 選舉
No TPTP formula. May not be expressible in strict first order. Government.kif 1706-1706 子類 全民選舉 and 選舉
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21408-21408
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21407-21407
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21406-21406

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1729-1729 域 表決, 1 and 選舉
No TPTP formula. May not be expressible in strict first order. Government.kif 1838-1838 域 職位候選人, 1 and 選舉
No TPTP formula. May not be expressible in strict first order. Government.kif 1819-1819 域 選舉組織, 1 and 選舉
No TPTP formula. May not be expressible in strict first order. Government.kif 1746-1746 域 選舉職位, 1 and 選舉
No TPTP formula. May not be expressible in strict first order. Government.kif 1872-1872 域 選舉勝利者, 1 and 選舉
No TPTP formula. May not be expressible in strict first order. Government.kif 1903-1903 域 席位在選舉中獲勝, 1 and 選舉
No TPTP formula. May not be expressible in strict first order. Government.kif 1857-1857 域 收到投票分數, 1 and 選舉

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1588-1595
No TPTP formula. May not be expressible in strict first order. Government.kif 1692-1698
No TPTP formula. May not be expressible in strict first order. Merge.kif 14072-14077
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 1267-1273