Process(工程) | ![]() |
appearance as argument number 1 |
![]() |
(documentation Process ChineseLanguage " 这个类别属于发生的事物,它具有时间的部分或阶段。 例子包括:历时颇长的事件如足球比赛或赛跑,行动如追踪、阅读和及各种生物过程。它的形式定义是:任何在某时间发生 而又不是 Object 的存在着。 注:Process 内可以有 Object 参加者介入,例如球赛的球员。四维的 知识本体论认为 Process 的时空幅度可分成大约和时间轴平衡的数个时间阶段。") | chinese_format.kif 1698-1701 | |
(documentation Process EnglishLanguage "The class of things that happen and have temporal parts or stages. Examples include extended events like a football match or a race, actions like Pursuing and Reading, and biological processes. The formal definition is: anything that occurs in time but is not an Object. Note that a Process may have participants 'inside' it which are Objects, such as the players in a football match. In a 4D ontology, a Process is something whose spatiotemporal extent is thought of as dividing into temporal stages roughly perpendicular to the time-axis.") | Merge.kif 1633-1641 | |
(documentation Process JapaneseLanguage "クラスの物事で、発生したり一時的なパーツまたはス テージがあるもの。 例として、フットボールの試合やレースなどの拡張イベント、Pursuing や Reading のようなアクション、生物学的プロセスなど。正式な定義: 時間内に発生するが、Object ではない任意の もの。 注:Process は、フットボールの試合での選手のように、その「内側」参加者である Object を持っているかもしれない。 4Dオントロジーでは、Process は時間軸にほぼ垂直な時間的な段階に分割す ると考えられている空間的な範囲である。") | japanese_format.kif 296-301 | |
(externalImage Process "http://upload.wikimedia.org/wikipedia/commons/3/ 38/ Clepsydra_Geyser_at_Fountain_Paint_Pot_in_Yellowstone-750px.JPG") | pictureList.kif 6793-6793 | |
(subclass Process Physical) | Merge.kif 1632-1632 | 工程 は 物理 の subclass では |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain AbortedFn 2 Process) | MilitaryProcesses.kif 2412-2412 | AbortedFn の数値 2 引数は 工程 の instance では |
(domain StartFn 1 Process) | Mid-level-ontology.kif 414-414 | StartFn の数値 1 引数は 工程 の instance では |
(domain StopFn 1 Process) | Mid-level-ontology.kif 428-428 | StopFn の数値 1 引数は 工程 の instance では |
(domain ageOfMajorityForProcess 3 Process) | Law.kif 551-551 | ageOfMajorityForProcess の数値 3 引数は 工程 の instance では |
(domain agent 1 Process) | Merge.kif 2444-2444 | agent の数値 1 引数は 工程 の instance では |
(domain benefits 1 Process) | Mid-level-ontology.kif 24553-24553 | benefits の数値 1 引数は 工程 の instance では |
(domain causes 1 Process) | Merge.kif 3793-3793 | causes の数値 1 引数は 工程 の instance では |
(domain causes 2 Process) | Merge.kif 3794-3794 | causes の数値 2 引数は 工程 の instance では |
(domain commentator 2 Process) | Mid-level-ontology.kif 17291-17291 | commentator の数値 2 引数は 工程 の instance では |
(domain conversionEvent 2 Process) | UXExperimentalTerms.kif 2826-2826 | conversionEvent の数値 2 引数は 工程 の instance では |
(domain coordinates 1 Process) | MilitaryProcesses.kif 1696-1696 | coordinates の数値 1 引数は 工程 の instance では |
(domain coordinates 2 Process) | MilitaryProcesses.kif 1697-1697 | coordinates の数値 2 引数は 工程 の instance では |
(domain destination 1 Process) | Merge.kif 2455-2455 | destination の数値 1 引数は 工程 の instance では |
(domain direction 1 Process) | Merge.kif 17113-17113 | direction の数値 1 引数は 工程 の instance では |
(domain eventLocated 1 Process) | Merge.kif 4139-4139 | eventLocated の数値 1 引数は 工程 の instance では |
(domain eventPartlyLocated 1 Process) | Merge.kif 4115-4115 | eventPartlyLocated の数値 1 引数は 工程 の instance では |
(domain exclusiveEvent 2 Process) | UXExperimentalTerms.kif 4333-4333 | exclusiveEvent の数値 2 引数は 工程 の instance では |
(domain experiencer 1 Process) | Merge.kif 2469-2469 | experiencer の数値 1 引数は 工程 の instance では |
(domain experimentalControlProcess 2 Process) | UXExperimentalTerms.kif 3825-3825 | experimentalControlProcess の数値 2 引数は 工程 の instance では |
(domain experimentalVariableProcess 2 Process) | UXExperimentalTerms.kif 3872-3872 | experimentalVariableProcess の数値 2 引数は 工程 の instance では |
(domain hinders 1 Process) | Merge.kif 4417-4417 | hinders の数値 1 引数は 工程 の instance では |
(domain instrument 1 Process) | Merge.kif 2482-2482 | instrument の数値 1 引数は 工程 の instance では |
(domain involvedInEvent 1 Process) | Merge.kif 2425-2425 | involvedInEvent の数値 1 引数は 工程 の instance では |
(domain judge 1 Process) | Law.kif 193-193 | judge の数値 1 引数は 工程 の instance では |
(domain manner 1 Process) | Merge.kif 1742-1742 | manner の数値 1 引数は 工程 の instance では |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |