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 11759-11760
(documentation Guiding JapaneseLanguage "%agent が Agent の有無にかかわらず、別の Object の動作を指示しようとする IntentionalProcess。")	japanese_format.kif 1834-1835
(subclass Guiding IntentionalProcess)	Merge.kif 11757-11757	Guiding is a subclass of intentional process

appearance as argument number 2

(subclass AchievingControl Guiding)	Mid-level-ontology.kif 25058-25058	Achieving control is a subclass of guiding
(subclass AnimalGuiding Guiding)	Mid-level-ontology.kif 4786-4786	Animal guiding is a subclass of guiding
(subclass DramaticDirecting Guiding)	Mid-level-ontology.kif 20114-20114	Dramatic directing is a subclass of guiding
(subclass Driving Guiding)	Merge.kif 11762-11762	Driving is a subclass of guiding
(subclass EducationalProcess Guiding)	Merge.kif 11776-11776	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 10965-10965	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 20064-20064	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 10955-10955	Regulatory process is a subclass of guiding
(subclass Seating Guiding)	Mid-level-ontology.kif 25034-25034	Seating is a subclass of guiding
(subclass Signalling Guiding)	Mid-level-ontology.kif 25047-25047	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 (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 32708-32719	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 32679-32692	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 3202-3210	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 3316-3324	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: