|
|
   OcularGroupArtery
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Locating EnglishLanguage "Discover the location of, determine the place of, find by searching or examining.") | MilitaryProcesses.kif 573-574 | |
| (subclass Locating Discovering) | MilitaryProcesses.kif 572-572 | Locating è una sottoclasse di Discovering |
| appearance as argument number 2 |
|
|
| (subclass TerminalGuidance Locating) | MilitaryProcesses.kif 503-503 | TerminalGuidance è una sottoclasse di Locating |
| (termFormat ChineseLanguage Locating "定位") | domainEnglishFormat.kif 34871-34871 | |
| (termFormat ChineseTraditionalLanguage Locating "定位") | domainEnglishFormat.kif 34870-34870 | |
| (termFormat EnglishLanguage Locating "locating") | domainEnglishFormat.kif 34869-34869 |
| antecedent |
|
|
| (=> (and (instance ?LOCATING Locating) (patient ?LOCATING ?THING) (agent ?LOCATING ?AGENT)) (hasPurpose ?LOCATING (exists (?LOCATION) (and (instance ?LOCATION Region) (knows ?AGENT (located ?THING ?LOCATION)))))) |
MilitaryProcesses.kif 577-587 |
| consequent |
|
|
| (=> (and (instance ?RO RecoveryOperation) (patient ?RO ?TARGET)) (hasPurpose ?RO (exists (?PROCESS) (and (patient ?PROCESS ?TARGET) (instance ?PROCESS (UnionFn Classifying (UnionFn Pursuing (UnionFn Discovering (UnionFn Locating Returning))))))))) |
MilitaryProcesses.kif 558-570 |
|
|
|