| 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 AutonomousAgent or not.") | Merge.kif 11579-11580 | |
| (documentation Guiding JapaneseLanguage "%agent が Agent の有無にかかわらず、別の Object の動作を指示しようとする IntentionalProcess。") | japanese_format.kif 1834-1835 | |
| (subclass Guiding IntentionalProcess) | Merge.kif 11577-11577 |
| appearance as argument number 2 |
|
|
| (subclass AchievingControl Guiding) | Mid-level-ontology.kif 23366-23366 | |
| (subclass AnimalGuiding Guiding) | Mid-level-ontology.kif 4315-4315 | |
| (subclass DramaticDirecting Guiding) | Mid-level-ontology.kif 18492-18492 | |
| (subclass Driving Guiding) | Merge.kif 11582-11582 | |
| (subclass EducationalProcess Guiding) | Merge.kif 11596-11596 | |
| (subclass GuidingMotion Guiding) | ComputerInput.kif 69-69 | |
| (subclass Managing Guiding) | Merge.kif 10827-10827 | |
| (subclass MovingCursor Guiding) | ComputerInput.kif 1725-1725 | |
| (subclass MusicalConducting Guiding) | Mid-level-ontology.kif 18442-18442 | |
| (subclass PhysicalGuiding Guiding) | ComputerInput.kif 101-101 | |
| (subclass RailCarrierControl Guiding) | Transportation.kif 2252-2252 | |
| (subclass RegulatoryProcess Guiding) | Merge.kif 10817-10817 | |
| (subclass Seating Guiding) | Mid-level-ontology.kif 23342-23342 | |
| (subclass Signalling Guiding) | Mid-level-ontology.kif 23355-23355 | |
| (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 | |
| (=> (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 30689-30700 | |
| (=> (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 30662-30675 | |
| (=> (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 2711-2719 | |
| (=> (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 2825-2833 | |
| (=> (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 | |
| (=> (instance ?CAA CivilAffairsActivity) (hasPurpose ?CAA (exists (?GUIDING ?OP) (and (instance ?GUIDING Guiding) (patient ?GUIDING ?OP) (instance ?OP CivilMilitaryOperation))))) |
MilitaryProcesses.kif 2386-2393 | |
| (=> (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 2301-2307 |
|
|
|