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

appearance as argument number 2

(subclass AchievingControl Guiding)	Mid-level-ontology.kif 23700-23700	Achieving control is a subclass of guiding
(subclass AnimalGuiding Guiding)	Mid-level-ontology.kif 4336-4336	Animal guiding is a subclass of guiding
(subclass DramaticDirecting Guiding)	Mid-level-ontology.kif 18801-18801	Dramatic directing is a subclass of guiding
(subclass Driving Guiding)	Merge.kif 11658-11658	Driving is a subclass of guiding
(subclass EducationalProcess Guiding)	Merge.kif 11672-11672	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 10861-10861	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 18751-18751	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 2421-2421	Rail carrier control is a subclass of guiding
(subclass RegulatoryProcess Guiding)	Merge.kif 10851-10851	Regulatory process is a subclass of guiding
(subclass Seating Guiding)	Mid-level-ontology.kif 23676-23676	Seating is a subclass of guiding
(subclass Signalling Guiding)	Mid-level-ontology.kif 23689-23689	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 ro Guiding "ghidare")	relations-ro.kif 829-829	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 2273-2281	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 31029-31040	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 31002-31015	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 2732-2740	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 ?B Baton) (hasPurpose ?B (exists (?M ?G) (and (instance ?M MusicalPerformance) (instance ?G Guiding) (subProcess ?G ?M) (instrument ?G ?B)))))	Mid-level-ontology.kif 2846-2854	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 2265-2271	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: