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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - politicalPartyOfCountry
politicalPartyOfCountry

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2230-2232
No TPTP formula. May not be expressible in strict first order. Government.kif 2226-2226 The number 1 argument of political party of country is an instance of political party
No TPTP formula. May not be expressible in strict first order. Government.kif 2227-2227 The number 2 argument of political party of country is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Government.kif 2225-2225 political party of country is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Government.kif 2228-2228 political party of country is a subrelation of agent operates in area

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1979-1979
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1978-1978
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1977-1977
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46513-46513
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46512-46512
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46511-46511


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