Leader - Sigma Knowledge base Browser

appearance as argument number 1

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

Government.kif 2242-2242

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33588-33588
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33587-33587
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33586-33586

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2282-2290	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 1332-1336	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 2274-2280	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 1328-1330	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 1552-1554