TreeView Knowledge Base Browser - TerminalGuidance

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

TerminalGuidance

Sigma KEE - TerminalGuidance

TerminalGuidance(terminal guidance)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 504-516
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 501-501	Terminal guidance is a subclass of classifying
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 500-500	Terminal guidance is a subclass of direct action activity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 503-503	Terminal guidance is a subclass of locating
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 502-502	Terminal guidance is a subclass of stating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57548-57548
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57547-57547
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57546-57546

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 535-547	If an entity_CTRL is an instance of terminal guidance and a cognitive agent is an agent of the entity_CTRL and the entityRGET is a patient of the entity_CTRL, then the cognitive agent doesn't have the right to perform there exists a third entity such that the third entity is an instance of attack and the cognitive agent is an agent of the third entity and the entityRGET is a patient of the third entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 521-531	If an entity_CTRL is an instance of terminal guidance, then the entity_CTRL has the purpose there exist another entity, a third entity,, , a fourth entity and the entityRGET such that the entityRGET is a target in attack of the third entity and the entityRGET is a patient of the entity_CTRL and the other entity is an agent of the entity_CTRL and the other entity knows the entityRGET is located at the fourth entity is a result of the entity_CTRL

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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