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 11609-11610
(documentation Guiding JapaneseLanguage "%agent が Agent の有無にかかわらず、別の Object の動作を指示しようとする IntentionalProcess。")	japanese_format.kif 1834-1835
(subclass Guiding IntentionalProcess)	Merge.kif 11607-11607	Guiding ist eine teilkategorie von IntentionalProcess

appearance as argument number 2

(subclass AchievingControl Guiding)	Mid-level-ontology.kif 23417-23417	AchievingControl ist eine teilkategorie von Guiding
(subclass AnimalGuiding Guiding)	Mid-level-ontology.kif 4343-4343	AnimalGuiding ist eine teilkategorie von Guiding
(subclass DramaticDirecting Guiding)	Mid-level-ontology.kif 18543-18543	DramaticDirecting ist eine teilkategorie von Guiding
(subclass Driving Guiding)	Merge.kif 11612-11612	Driving ist eine teilkategorie von Guiding
(subclass EducationalProcess Guiding)	Merge.kif 11626-11626	EducationalProcess ist eine teilkategorie von Guiding
(subclass GuidingMotion Guiding)	ComputerInput.kif 69-69	GuidingMotion ist eine teilkategorie von Guiding
(subclass Managing Guiding)	Merge.kif 10827-10827	Managing ist eine teilkategorie von Guiding
(subclass MovingCursor Guiding)	ComputerInput.kif 1725-1725	MovingCursor ist eine teilkategorie von Guiding
(subclass MusicalConducting Guiding)	Mid-level-ontology.kif 18493-18493	MusicalConducting ist eine teilkategorie von Guiding
(subclass PhysicalGuiding Guiding)	ComputerInput.kif 101-101	PhysicalGuiding ist eine teilkategorie von Guiding
(subclass RailCarrierControl Guiding)	Transportation.kif 2252-2252	RailCarrierControl ist eine teilkategorie von Guiding
(subclass RegulatoryProcess Guiding)	Merge.kif 10817-10817	RegulatoryProcess ist eine teilkategorie von Guiding
(subclass Seating Guiding)	Mid-level-ontology.kif 23393-23393	Seating ist eine teilkategorie von Guiding
(subclass Signalling Guiding)	Mid-level-ontology.kif 23406-23406	Signalling ist eine teilkategorie von Guiding
(termFormat ChineseLanguage Guiding "引导")	chinese_format.kif 1130-1130
(termFormat EnglishLanguage Guiding "guiding")	english_format.kif 1477-1477
(termFormat FrenchLanguage Guiding "guider")	french_format.kif 808-808
(termFormat Hindi Guiding "nirdeshana")	terms-hindi.txt 340-340
(termFormat ItalianLanguage Guiding "Guidare")	terms-it.txt 343-343
(termFormat JapaneseLanguage Guiding "案内")	japanese_format.kif 2492-2492
(termFormat PortugueseLanguage Guiding "Guiar")	portuguese_format.kif 760-760
(termFormat cb Guiding "pagtultol")	terms-cb.txt 345-345
(termFormat cz Guiding "guiding")	terms-cz.txt 379-379
(termFormat ro Guiding "ghidare")	relations-ro.kif 829-829

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 2309-2317	Wenn GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und Human besetzt die position von Leader in GovernmentFn GeopoliticalArea, dann es gibt Process um Process ist ein fall von Guiding %n{nicht} und GeopoliticalArea ist ein patient von Process %n{nicht} und Process ist der agent von Human %n{nicht}
(=> (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	Wenn AutonomousAgent ist ein fall von GuidedMissile %n{nicht} und Process ist ein fall von Flying %n{nicht} und AutonomousAgent ist ein patient von Process %n{nicht}, dann es gibt Process um Process ist ein fall von Guiding %n{nicht} und Process ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und die zeit des Bestehens von Process geschieht waehrend die zeit des Bestehens von Process %n{nicht}
(=> (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 30772-30783	Wenn passenger Transfer and AutonomousAgent und Object ist ein fall von Vehicle %n{nicht} und Object ist ein instrument fuer Transfer %n{nicht}, dann es gibt nicht Process um die zeit des Bestehens von Process geschieht waehrend die zeit des Bestehens von Transfer %n{nicht} und Process ist ein fall von Guiding %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein instrument fuer ** Process %n{nicht}
(=> (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 30745-30758	Wenn FlightSteward ist ein attribut von Physical %n{nicht} haelt waehrend TimePosition %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Airplane %n{nicht} und es gibt nicht entity um entity ist ein fall von Guiding %n{nicht} und entity ist der agent von Physical %n{nicht} und entity ist ein instrument fuer entity %n{nicht} haelt waehrend TimePosition %n{nicht} %n{nicht}
(=> (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 2739-2747	Wenn Physical ist ein fall von AnimalController %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Guiding %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein fall von Animal %n{nicht} und entity ist ein patient von entity %n{nicht} %n{nicht}
(=> (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 2853-2861	Wenn Physical ist ein fall von Baton %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von MusicalPerformance %n{nicht} und entity ist ein fall von Guiding %n{nicht} und entity ist ein subProzess von entity und Physical ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(=> (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	Wenn Physical ist ein fall von CivilAffairs %n{nicht}, dann Physical hat Zweck von es gibt entity und entity_ACT um entity ist ein fall von Guiding %n{nicht} und entity_ACT ist ein patient von entity %n{nicht} und Physical ist der agent von entity %n{nicht} und entity_ACT ist ein fall von CivilMilitaryOperation %n{nicht} oder entity_ACT ist ein fall von CivilAffairsActivity %n{nicht} %n{nicht}
(=> (instance ?CAA CivilAffairsActivity) (hasPurpose ?CAA (exists (?GUIDING ?OP) (and (instance ?GUIDING Guiding) (patient ?GUIDING ?OP) (instance ?OP CivilMilitaryOperation)))))	MilitaryProcesses.kif 2386-2393	Wenn Physical ist ein fall von CivilAffairsActivity %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Guiding %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von CivilMilitaryOperation %n{nicht} %n{nicht}
(=> (instance ?OP SpecialOperation) (exists (?CONDUCTING ?SPFORCE) (and (instance ?CONDUCTING Guiding) (patient ?CONDUCTING ?OP) (agent ?CONDUCTING ?SPFORCE) (instance ?SPFORCE SpecialOperationsForces))))	MilitaryProcesses.kif 290-297	Wenn Entity ist ein fall von SpecialOperation %n{nicht}, dann es gibt Process und AutonomousAgent um Process ist ein fall von Guiding %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von SpecialOperationsForces %n{nicht}
(=> (occupiesPosition ?PERSON Leader ?ORG) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?ORG) (agent ?LEADING ?PERSON))))	Government.kif 2301-2307	Wenn Human besetzt die position von Leader in Organization, dann es gibt Process um Process ist ein fall von Guiding %n{nicht} und Organization ist ein patient von Process %n{nicht} und Process ist der agent von ** Human %n{nicht}

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: