| 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 11655-11656 | |
| (documentation Guiding JapaneseLanguage "%agent が Agent の有無にかかわらず、別の Object の動作を指示しようとする IntentionalProcess。") | japanese_format.kif 1834-1835 | |
| (subclass Guiding IntentionalProcess) | Merge.kif 11653-11653 |
| appearance as argument number 2 |
|
|
| (subclass AchievingControl Guiding) | Mid-level-ontology.kif 23469-23469 | |
| (subclass AnimalGuiding Guiding) | Mid-level-ontology.kif 4336-4336 | |
| (subclass DramaticDirecting Guiding) | Mid-level-ontology.kif 18570-18570 | |
| (subclass Driving Guiding) | Merge.kif 11658-11658 | |
| (subclass EducationalProcess Guiding) | Merge.kif 11672-11672 | |
| (subclass GuidingMotion Guiding) | ComputerInput.kif 69-69 | |
| (subclass Managing Guiding) | Merge.kif 10861-10861 | |
| (subclass MovingCursor Guiding) | ComputerInput.kif 1725-1725 | |
| (subclass MusicalConducting Guiding) | Mid-level-ontology.kif 18520-18520 | |
| (subclass PhysicalGuiding Guiding) | ComputerInput.kif 101-101 | |
| (subclass RailCarrierControl Guiding) | Transportation.kif 2258-2258 | |
| (subclass RegulatoryProcess Guiding) | Merge.kif 10851-10851 | |
| (subclass Seating Guiding) | Mid-level-ontology.kif 23445-23445 | |
| (subclass Signalling Guiding) | Mid-level-ontology.kif 23458-23458 | |
| (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 2273-2281 | |
| (=> (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 30796-30807 | |
| (=> (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 30769-30782 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 2265-2271 |
|
|
|