Leader - Sigma Knowledge base Browser

appearance as argument number 1

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

Government.kif 2217-2217

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33616-33616
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33615-33615
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33614-33614

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2270-2278	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 1308-1312	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 2262-2268	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 1304-1306	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 1528-1530