Leader - Sigma Knowledge base Browser

appearance as argument number 1

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

Government.kif 2256-2256

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33605-33605
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33604-33604
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33603-33603

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2309-2317	If a geopolitical area is an instance of geopolitical area and a human holds the position of leader in the government of the geopolitical area, then there exists a process such that the process is an instance of guiding and the geopolitical area is a patient of the process and the human is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1346-1350	If an organization is an instance of geopolitical area and a human holds the position of leader in the organization, then the human is a leader of the government of the organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2301-2307	If a human holds the position of leader in an organization, then there exists a process such that the process is an instance of guiding and the organization is a patient of the process and the human is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1342-1344	If a human holds the position of leader in an organization, then the human is a leader of the organization

consequent

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

Government.kif 1566-1568