subordinatePosition - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - subordinatePosition

subordinatePosition

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22747-22750
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22743-22743	Le nombre 1 argument de subordinatePosition est une instance de organisation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22744-22744	Le nombre 2 argument de subordinatePosition est une instance de position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22745-22745	Le nombre 3 argument de subordinatePosition est une instance de position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22742-22742	subordinatePosition est une instance de pr�dicat ternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2395-2395
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2394-2394
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2393-2393
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55758-55758
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55757-55757
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55756-55756

antecedent

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

Mid-level-ontology.kif 22752-22760

subordinatePosition organisation, position and position humain occupe la position de position organisation
humain humain est une instance de humain humain occupe la position de position organisation subordinateInOrganization organisation, humain and humain

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 461-466	PeaceState est un attribut de organisation organisation est une instance de MilitaryOrganization leaderPosition organisation and position subordinatePosition organisation, position and SecretaryOfDefense
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 473-478	WarState est un attribut de organisation organisation est une instance de MilitaryOrganization leaderPosition organisation and position subordinatePosition organisation, position and President
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1751-1757	Organisation est une instance de JointForces organisation est une partie de l'organization organisation leaderPosition organisation and position leaderPosition organisation and organisationCOMMANDER subordinatePosition organisation, position and organisationCOMMANDER
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1582-1604	Processus est une instance de OperationPlanning processus est un agent de AutonomousAgent AutonomousAgent est une instance de CombatantCommander processus AutonomousAgent processus est une instance de demander processus est un agent de AutonomousAgent ChairmanJCS est un attribut de AutonomousAgent processus cause processus AutonomousAgent est une instance de SubunifiedCommander processus AutonomousAgentSUPER and organisation processus est une instance de demander processus est un agent de AutonomousAgentSUPER MilitaryCommander est un attribut de AutonomousAgentSUPER subordinatePosition organisation, AutonomousAgent and AutonomousAgentSUPER organisation est une instance de MilitaryForce processus cause processus
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1663-1673	Processus est une instance de OperationOrder AutonomousAgent position and organisation processus est un agent de AutonomousAgent processus a pour origine AutonomousAgent processus aboutit � position AutonomousAgent est une instance de MilitaryCommander position est une instance de MilitaryCommander subordinatePosition organisation, position and AutonomousAgent organisation est une instance de MilitaryForce

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