Guiding - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3066-3067
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11631-11632
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1834-1835
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11629-11629	Guiding is a subclass of intentional process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23416-23416	Achieving control is a subclass of guiding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4343-4343	Animal guiding is a subclass of guiding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18542-18542	Dramatic directing is a subclass of guiding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11634-11634	Driving is a subclass of guiding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11648-11648	Educational process is a subclass of guiding
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 69-69	Guiding motion is a subclass of guiding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10849-10849	Managing is a subclass of guiding
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1725-1725	Moving cursor is a subclass of guiding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18492-18492	Musical conducting is a subclass of guiding
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 101-101	Physical guiding is a subclass of guiding
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2252-2252	Rail carrier control is a subclass of guiding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10839-10839	Regulatory process is a subclass of guiding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23392-23392	Seating is a subclass of guiding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23405-23405	Signalling is a subclass of guiding
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1130-1130
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1477-1477
No TPTP formula. May not be expressible in strict first order.	french_format.kif 808-808
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 340-340
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 343-343
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2492-2492
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 760-760
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 345-345
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 379-379
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 829-829

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2309-2317	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.	MilitaryDevices.kif 1051-1063	If an agent is an instance of guided missile and a process is an instance of flying and the agent is a patient of the process, then there exists another process such that the other process is an instance of guiding and the process is a patient of the other process and the agent is an agent of the other process and the time of existence of the other process takes place during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30760-30771	If an agent is a passenger in a transfer and an object is an instance of vehicle and the object is an instrument for the transfer, then there doesn't exist a process such that the time of existence of the process takes place during the time of existence of the transfer and the process is an instance of guiding and the agent is an agent of the process and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30733-30746	If flight steward is an attribute of a physical holds during a time position, then the physical has the purpose there exists an entity such that the entity is an instance of airplane and there doesn't exist another entity such that the other entity is an instance of guiding and the physical is an agent of the other entity and the entity is an instrument for the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2739-2747	If a physical is an instance of animal controller, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of guiding and the physical is an instrument for the entity and the other entity is an instance of animal and the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2853-2861	If a physical is an instance of baton, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of musical performance and the other entity is an instance of guiding and the other entity is a subprocess of the entity and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2350-2360	If a physical is an instance of civil affairs, then the physical has the purpose there exist an entity and another entity_ACT such that the entity is an instance of guiding and the other entity_ACT is a patient of the entity and the entity is an agent of the physical and the other entity_ACT is an instance of civil military operation or the other entity_ACT is an instance of civil affairs activity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2386-2393	If a physical is an instance of civil affairs activity, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of guiding and the other entity is a patient of the entity and the other entity is an instance of civil military operation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 290-297	If an entity is an instance of special operation, then there exist a process and an agent such that the process is an instance of guiding and the entity is a patient of the process and the agent is an agent of the process and the agent is an instance of special operations forces
No TPTP formula. May not be expressible in strict first order.	Government.kif 2301-2307	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

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

KB Term:			Term intersection

English Word: