Guiding - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Guiding ChineseLanguage "这是任何的 IntentionalProcess，这是当 agent 尝试指挥 Agent 自己或另外一个Object 的行为。")	chinese_format.kif 3066-3067
(documentation Guiding EnglishLanguage "Any IntentionalProcess where the agent tries to direct the behavior of another Object, whether an AutonomousAgent or not.")	Merge.kif 11744-11745
(documentation Guiding JapaneseLanguage "%agent が Agent の有無にかかわらず、別の Object の動作を指示しようとする IntentionalProcess。")	japanese_format.kif 1834-1835
(subclass Guiding IntentionalProcess)	Merge.kif 11742-11742	Guiding is a subclass of intentional process

appearance as argument number 2

(subclass AchievingControl Guiding)	Mid-level-ontology.kif 25077-25077	Achieving control is a subclass of guiding
(subclass AnimalGuiding Guiding)	Mid-level-ontology.kif 4805-4805	Animal guiding is a subclass of guiding
(subclass DramaticDirecting Guiding)	Mid-level-ontology.kif 20131-20131	Dramatic directing is a subclass of guiding
(subclass Driving Guiding)	Merge.kif 11747-11747	Driving is a subclass of guiding
(subclass EducationalProcess Guiding)	Merge.kif 11761-11761	Educational process is a subclass of guiding
(subclass GuidingMotion Guiding)	ComputerInput.kif 69-69	Guiding motion is a subclass of guiding
(subclass Managing Guiding)	Merge.kif 10950-10950	Managing is a subclass of guiding
(subclass MovingCursor Guiding)	ComputerInput.kif 1725-1725	Moving cursor is a subclass of guiding
(subclass MusicalConducting Guiding)	Mid-level-ontology.kif 20081-20081	Musical conducting is a subclass of guiding
(subclass PhysicalGuiding Guiding)	ComputerInput.kif 101-101	Physical guiding is a subclass of guiding
(subclass RailCarrierControl Guiding)	Transportation.kif 2427-2427	Rail carrier control is a subclass of guiding
(subclass RegulatoryProcess Guiding)	Merge.kif 10940-10940	Regulatory process is a subclass of guiding
(subclass Seating Guiding)	Mid-level-ontology.kif 25053-25053	Seating is a subclass of guiding
(subclass Signalling Guiding)	Mid-level-ontology.kif 25066-25066	Signalling is a subclass of guiding
(termFormat ChineseLanguage Guiding "引导")	chinese_format.kif 1130-1130	Signalling is a subclass of guiding
(termFormat EnglishLanguage Guiding "guiding")	english_format.kif 1477-1477	Signalling is a subclass of guiding
(termFormat FrenchLanguage Guiding "guider")	french_format.kif 808-808	Signalling is a subclass of guiding
(termFormat Hindi Guiding "nirdeshana")	terms-hindi.txt 340-340	Signalling is a subclass of guiding
(termFormat ItalianLanguage Guiding "Guidare")	terms-it.txt 343-343	Signalling is a subclass of guiding
(termFormat JapaneseLanguage Guiding "案内")	japanese_format.kif 2492-2492	Signalling is a subclass of guiding
(termFormat PortugueseLanguage Guiding "Guiar")	portuguese_format.kif 760-760	Signalling is a subclass of guiding
(termFormat cb Guiding "pagtultol")	terms-cb.txt 345-345	Signalling is a subclass of guiding
(termFormat cz Guiding "guiding")	terms-cz.txt 379-379	Signalling is a subclass of guiding
(termFormat de Guiding "Fuehren")	terms-de.txt 638-638	Signalling is a subclass of guiding

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?AREA) (agent ?LEADING ?PERSON))))	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
(=> (and (instance ?M GuidedMissile) (instance ?FLYING Flying) (patient ?FLYING ?M)) (exists (?GUIDING) (and (instance ?GUIDING Guiding) (patient ?GUIDING ?FLYING) (agent ?GUIDING ?M) (during (WhenFn ?GUIDING) (WhenFn ?FLYING)))))	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
(=> (and (passenger ?PROC ?PASS) (instance ?V Vehicle) (instrument ?PROC ?V)) (not (exists (?G) (and (during (WhenFn ?G) (WhenFn ?PROC)) (instance ?G Guiding) (agent ?G ?PASS) (instrument ?G ?V)))))	Mid-level-ontology.kif 32467-32478	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
(=> (holdsDuring ?T (attribute ?X FlightSteward)) (hasPurpose ?X (holdsDuring ?T (exists (?P) (and (instance ?P Airplane) (not (exists (?G) (and (instance ?G Guiding) (agent ?G ?X) (instrument ?G ?P)))))))))	Mid-level-ontology.kif 32438-32451	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
(=> (instance ?AC AnimalController) (hasPurpose ?AC (exists (?G ?A) (and (instance ?G Guiding) (instrument ?G ?AC) (instance ?A Animal) (patient ?G ?A)))))	Mid-level-ontology.kif 3201-3209	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
(=> (instance ?AMR AutonomousMobileRobot) (hasPurpose ?AMR (exists (?T) (and (instance ?T Translocation) (agent ?T ?AMR) (patient ?T ?AMR) (instrument ?T ?AMR) (experiencer ?T ?AMR) (not (exists (?G ?A) (and (instance ?G Guiding) (patient ?G ?AMR) (agent ?G ?A) (or (instance ?A Human) (instance ?A Device)))))))))	engineering.kif 966-984	If a physical is an instance of autonomous mobile robot, then the physical has the purpose there exists an entity such that the entity is an instance of translocation and the physical is an agent of the entity and the physical is a patient of the entity and the physical is an instrument for the entity and the physical experiences the entity and there don't exist another entity and a third entity such that the other entity is an instance of guiding and the physical is a patient of the other entity and the third entity is an agent of the other entity and the third entity is an instance of human or the third entity is an instance of device
(=> (instance ?B Baton) (hasPurpose ?B (exists (?M ?G) (and (instance ?M MusicalPerformance) (instance ?G Guiding) (subProcess ?G ?M) (instrument ?G ?B)))))	Mid-level-ontology.kif 3315-3323	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
(=> (instance ?CA CivilAffairs) (hasPurpose ?CA (exists (?GUIDING ?OP_ACT) (and (instance ?GUIDING Guiding) (patient ?GUIDING ?OP_ACT) (agent ?CA ?GUIDING) (or (instance ?OP_ACT CivilMilitaryOperation) (instance ?OP_ACT CivilAffairsActivity))))))	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
(=> (instance ?CAA CivilAffairsActivity) (hasPurpose ?CAA (exists (?GUIDING ?OP) (and (instance ?GUIDING Guiding) (patient ?GUIDING ?OP) (instance ?OP CivilMilitaryOperation)))))	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
(=> (instance ?OP SpecialOperation) (exists (?CONDUCTING ?SPFORCE) (and (instance ?CONDUCTING Guiding) (patient ?CONDUCTING ?OP) (agent ?CONDUCTING ?SPFORCE) (instance ?SPFORCE SpecialOperationsForces))))	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
(=> (occupiesPosition ?PERSON Leader ?ORG) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?ORG) (agent ?LEADING ?PERSON))))	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

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: