![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Object ChineseLanguage "这可粗略地对应为一般物体。例子包括 正常物理对象、地理区域和 Process 的位置,在 Physical 类别 Object 的补充。 在四维本体论上, Object 的时空范畴可大致划分为与时间轴平行的空间间隔。") | chinese_format.kif 1552-1554 | |
(documentation Object EnglishLanguage "Corresponds roughly to the class of ordinary objects. Examples include normal physical objects, geographical regions, and locations of Processes, the complement of Objects in the Physical class. In a 4D ontology, an Object is something whose spatiotemporal extent is thought of as dividing into spatial parts roughly parallel to the time-axis.") | Merge.kif 813-818 | |
(externalImage Object "http://upload.wikimedia.org/wikipedia/en/thumb/e/ ee/ Elaborate_wood_box_Tom_Tanaka.JPG/ 180px-Elaborate_wood_box_Tom_Tanaka.JPG") | pictureList.kif 1205-1205 | |
(subclass Object Physical) | Merge.kif 812-812 | Object is a subclass of physical |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain AccelerationFn 3 Object) | Cars.kif 1277-1277 | The number 3 argument of AccelerationFn is an instance of object |
(domain LineFn 1 Object) | ComputingBrands.kif 2591-2591 | The number 1 argument of line is an instance of object |
(domain LineFn 2 Object) | ComputingBrands.kif 2592-2592 | The number 2 argument of line is an instance of object |
(domain MereologicalDifferenceFn 1 Object) | Merge.kif 9256-9256 | The number 1 argument of mereological difference is an instance of object |
(domain MereologicalDifferenceFn 2 Object) | Merge.kif 9257-9257 | The number 2 argument of mereological difference is an instance of object |
(domain MereologicalProductFn 1 Object) | Merge.kif 9235-9235 | The number 1 argument of mereological product is an instance of object |
(domain MereologicalProductFn 2 Object) | Merge.kif 9236-9236 | The number 2 argument of mereological product is an instance of object |
(domain MereologicalSumFn 1 Object) | Merge.kif 9213-9213 | The number 1 argument of mereological sum is an instance of object |
(domain MereologicalSumFn 2 Object) | Merge.kif 9214-9214 | The number 2 argument of mereological sum is an instance of object |
(domain absorbedDose 1 Object) | MilitaryProcesses.kif 870-870 | The number 1 argument of absorbed dose is an instance of object |
(domain adjacentOrientation 1 Object) | Hotel.kif 906-906 | The number 1 argument of adjacent orientation is an instance of object |
(domain advertisedOn 1 Object) | UXExperimentalTerms.kif 238-238 | The number 1 argument of advertised on is an instance of object |
(domain airTemperature 1 Object) | Mid-level-ontology.kif 23635-23635 | The number 1 argument of air temperature is an instance of object |
(domain anthem 2 Object) | Music.kif 354-354 | The number 2 argument of anthem is an instance of object |
(domain askPrice 1 Object) | FinancialOntology.kif 1862-1862 | The number 1 argument of ask price is an instance of object |
(domain attribute 1 Object) | Merge.kif 1629-1629 | The number 1 argument of attribute is an instance of object |
(domain axis 1 Object) | Mid-level-ontology.kif 15052-15052 | The number 1 argument of axis is an instance of object |
(domain axis 2 Object) | Mid-level-ontology.kif 15053-15053 | The number 2 argument of axis is an instance of object |
(domain barometricPressure 1 Object) | Merge.kif 7421-7421 | The number 1 argument of barometric pressure is an instance of object |
(domain beforeOnPath 1 Object) | Mid-level-ontology.kif 27984-27984 | The number 1 argument of beforeOnPath is an instance of object |
(domain beforeOnPath 2 Object) | Mid-level-ontology.kif 27985-27985 | The number 2 argument of beforeOnPath is an instance of object |
(domain beforeOnPath 3 Object) | Mid-level-ontology.kif 27986-27986 | The number 3 argument of beforeOnPath is an instance of object |
(domain between 1 Object) | Merge.kif 4005-4005 | The number 1 argument of between is an instance of object |
(domain between 2 Object) | Merge.kif 4006-4006 | The number 2 argument of between is an instance of object |
(domain between 3 Object) | Merge.kif 4007-4007 | The number 3 argument of between is an instance of object |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |