subordinateInOrganization - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - subordinateInOrganization

subordinateInOrganization

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22731-22733
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22727-22727	The number 1 argument of subordinate in organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22728-22728	The number 2 argument of subordinate in organization is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22729-22729	The number 3 argument of subordinate in organization is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22726-22726	subordinate in organization is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2391-2391
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2390-2390
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2389-2389
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55752-55752
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55751-55751
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55750-55750

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22735-22737	If an organization is subordinate in organization a human for another human, then the organization employs the human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22739-22741	If an organization is subordinate in organization a human for another human, then the organization employs the other human

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22753-22761	If an organization is subordinate position a position for another position and a human holds the position of the position in the organization, then there exists another human such that the other human is an instance of human and the other human holds the position of the other position in the organization and the organization is subordinate in organization the human for the other human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20911-20920	If an entity holds the position of deacon in another entity and the other entity is an instance of religious organization holds during a time position, then there exists a third entity such that the third entity holds the position of cleric in the other entity and the other entity is subordinate in organization the entity for the third entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20903-20909	If a human is an instance of deacon, then there exist an organization and another human such that the organization is an instance of religious organization and the other human is an instance of cleric and the organization is subordinate in organization the human for the other human

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