TreeView Knowledge Base Browser - ConstitutionFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ConstitutionFn

ConstitutionFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 641-644
No TPTP formula. May not be expressible in strict first order.	Government.kif 638-638	The number 1 argument of constitution is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 637-637	Constitution is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 639-639	The values returned by constitution are subclasses of constitution

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 540-540
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 539-539
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 538-538
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16776-16776
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16775-16775
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16774-16774

antecedent

No TPTP formula. May not be expressible in strict first order.

Government.kif 738-747

If a proposition is an instance of the constitution of a geopolitical area and the geopolitical area is an instance of nation and a government is equal to the government of the geopolitical area and the time of existence of the government is an instance of a kind of time position and a kind of time position is an agreement effective during of the proposition and another proposition is a sub-proposition of the proposition and a formula contains information the other proposition,
then the government is obliged to perform tasks of type the formula

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