| 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 11744-11745 | |
| (documentation Guiding JapaneseLanguage "%agent が Agent の有無にかかわらず、別の Object の動作を指示しようとする IntentionalProcess。") | japanese_format.kif 1834-1835 | |
| (subclass Guiding IntentionalProcess) | Merge.kif 11742-11742 | 引导 是 有意图过程 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass AchievingControl Guiding) | Mid-level-ontology.kif 25060-25060 | 实现控制 是 引导 的 subclass |
| (subclass AnimalGuiding Guiding) | Mid-level-ontology.kif 4786-4786 | AnimalGuiding 是 引导 的 subclass |
| (subclass DramaticDirecting Guiding) | Mid-level-ontology.kif 20114-20114 | 戏剧性的指导 是 引导 的 subclass |
| (subclass Driving Guiding) | Merge.kif 11747-11747 | 驾驶 是 引导 的 subclass |
| (subclass EducationalProcess Guiding) | Merge.kif 11761-11761 | 教育性过程 是 引导 的 subclass |
| (subclass GuidingMotion Guiding) | ComputerInput.kif 69-69 | GuidingMotion 是 引导 的 subclass |
| (subclass Managing Guiding) | Merge.kif 10950-10950 | 管理 是 引导 的 subclass |
| (subclass MovingCursor Guiding) | ComputerInput.kif 1725-1725 | MovingCursor 是 引导 的 subclass |
| (subclass MusicalConducting Guiding) | Mid-level-ontology.kif 20064-20064 | MusicalConducting 是 引导 的 subclass |
| (subclass PhysicalGuiding Guiding) | ComputerInput.kif 101-101 | PhysicalGuiding 是 引导 的 subclass |
| (subclass RailCarrierControl Guiding) | Transportation.kif 2427-2427 | 铁路运输控制 是 引导 的 subclass |
| (subclass RegulatoryProcess Guiding) | Merge.kif 10940-10940 | 监管过程 是 引导 的 subclass |
| (subclass Seating Guiding) | Mid-level-ontology.kif 25036-25036 | 座席区 是 引导 的 subclass |
| (subclass Signalling Guiding) | Mid-level-ontology.kif 25049-25049 | 发信号 是 引导 的 subclass |
| (termFormat ChineseLanguage Guiding "引导") | chinese_format.kif 1130-1130 | 发信号 是 引导 的 subclass |
| (termFormat EnglishLanguage Guiding "guiding") | english_format.kif 1477-1477 | 发信号 是 引导 的 subclass |
| (termFormat FrenchLanguage Guiding "guider") | french_format.kif 808-808 | 发信号 是 引导 的 subclass |
| (termFormat Hindi Guiding "nirdeshana") | terms-hindi.txt 340-340 | 发信号 是 引导 的 subclass |
| (termFormat ItalianLanguage Guiding "Guidare") | terms-it.txt 343-343 | 发信号 是 引导 的 subclass |
| (termFormat JapaneseLanguage Guiding "案内") | japanese_format.kif 2492-2492 | 发信号 是 引导 的 subclass |
| (termFormat PortugueseLanguage Guiding "Guiar") | portuguese_format.kif 760-760 | 发信号 是 引导 的 subclass |
| (termFormat cb Guiding "pagtultol") | terms-cb.txt 345-345 | 发信号 是 引导 的 subclass |
| (termFormat cz Guiding "guiding") | terms-cz.txt 379-379 | 发信号 是 引导 的 subclass |
| (termFormat de Guiding "Fuehren") | terms-de.txt 638-638 | 发信号 是 引导 的 subclass |
| 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 2270-2278 | |
| (=> (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 1208-1220 | |
| (=> (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 32710-32721 | |
| (=> (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 32681-32694 | |
| (=> (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 3202-3210 | |
| (=> (instance ?AMR AutonomousMobileRobot) (hasPurpose ?AMR (exists (?T) (and (instance ?T Translocation) (agent ?T ?AMR) (patient ?T ?AMR) (instrument ?T ?AMR) (experiencer ?T ?AMR) (not (exists (?G ?A) (and (instance ?G Guiding) (patient ?G ?AMR) (agent ?G ?A) (or (instance ?A Human) (instance ?A Device))))))))) |
engineering.kif 966-984 |
|
| (=> (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 3316-3324 | |
| (=> (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 2262-2268 |
|
|
|