| Guiding | |
| 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 Agent or not.") | Merge.kif 11448-11449 | |
| (subclass Guiding IntentionalProcess) | Merge.kif 11446-11446 |
| appearance as argument number 2 |
|
|
| (subclass AchievingControl Guiding) | Mid-level-ontology.kif 22864-22864 | |
| (subclass AnimalGuiding Guiding) | Mid-level-ontology.kif 4237-4237 | |
| (subclass DramaticDirecting Guiding) | Mid-level-ontology.kif 17918-17918 | |
| (subclass Driving Guiding) | Merge.kif 11451-11451 | |
| (subclass EducationalProcess Guiding) | Merge.kif 11465-11465 | |
| (subclass GuidingMotion Guiding) | ComputerInput.kif 69-69 | |
| (subclass Managing Guiding) | Merge.kif 10719-10719 | |
| (subclass MovingCursor Guiding) | ComputerInput.kif 1722-1722 | |
| (subclass MusicalConducting Guiding) | Mid-level-ontology.kif 17868-17868 | |
| (subclass PhysicalGuiding Guiding) | ComputerInput.kif 101-101 | |
| (subclass RailCarrierControl Guiding) | Transportation.kif 2259-2259 | |
| (subclass RegulatoryProcess Guiding) | Merge.kif 10709-10709 | |
| (subclass Seating Guiding) | Mid-level-ontology.kif 22840-22840 | |
| (subclass Signalling Guiding) | Mid-level-ontology.kif 22853-22853 | |
| (termFormat ChineseLanguage Guiding "引导") | chinese_format.kif 1130-1130 | |
| (termFormat EnglishLanguage Guiding "guiding") | english_format.kif 1477-1477 |
| consequent |
|
|
| (=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?AREA) (agent ?LEADING ?PERSON)))) |
Government.kif 2306-2314 | |
| (=> (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 | |
| (=> (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 30174-30185 | |
| (=> (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 30147-30160 | |
| (=> (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 2698-2706 | |
| (=> (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 2808-2816 | |
| (=> (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 2349-2359 | |
| (=> (instance ?CAA CivilAffairsActivity) (hasPurpose ?CAA (exists (?GUIDING ?OP) (and (instance ?GUIDING Guiding) (patient ?GUIDING ?OP) (instance ?OP CivilMilitaryOperation))))) |
MilitaryProcesses.kif 2385-2392 | |
| (=> (instance ?OP SpecialOperation) (exists (?CONDUCTING ?SPFORCE) (and (instance ?CONDUCTING Guiding) (patient ?CONDUCTING ?OP) (agent ?CONDUCTING ?SPFORCE) (instance ?SPFORCE SpecialOperationsForces)))) |
MilitaryProcesses.kif 290-297 | |
| (=> (occupiesPosition ?PERSON Leader ?ORG) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?ORG) (agent ?LEADING ?PERSON)))) |
Government.kif 2298-2304 |
|
|
|