![]() |
![]() ![]() ![]()
|
![]() |
|
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 830-835 | |
(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 829-829 | 客体 是 物理 的 subclass |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain AccelerationFn 3 Object) | Cars.kif 1276-1276 | AccelerationFn 的 3 数量 是 客体 的 instance |
(domain LineFn 1 Object) | ComputingBrands.kif 2592-2592 | 线路 的 1 数量 是 客体 的 instance |
(domain LineFn 2 Object) | ComputingBrands.kif 2593-2593 | 线路 的 2 数量 是 客体 的 instance |
(domain MereologicalDifferenceFn 1 Object) | Merge.kif 9731-9731 | 部分差异函数 的 1 数量 是 客体 的 instance |
(domain MereologicalDifferenceFn 2 Object) | Merge.kif 9732-9732 | 部分差异函数 的 2 数量 是 客体 的 instance |
(domain MereologicalProductFn 1 Object) | Merge.kif 9710-9710 | 部分积函数 的 1 数量 是 客体 的 instance |
(domain MereologicalProductFn 2 Object) | Merge.kif 9711-9711 | 部分积函数 的 2 数量 是 客体 的 instance |
(domain MereologicalSumFn 1 Object) | Merge.kif 9688-9688 | 部分总和函数 的 1 数量 是 客体 的 instance |
(domain MereologicalSumFn 2 Object) | Merge.kif 9689-9689 | 部分总和函数 的 2 数量 是 客体 的 instance |
(domain absorbedDose 1 Object) | MilitaryProcesses.kif 870-870 | 吸收剂量 的 1 数量 是 客体 的 instance |
(domain adjacentOrientation 1 Object) | Hotel.kif 914-914 | adjacentOrientation 的 1 数量 是 客体 的 instance |
(domain advertisedOn 1 Object) | UXExperimentalTerms.kif 238-238 | advertisedOn 的 1 数量 是 客体 的 instance |
(domain airTemperature 1 Object) | Mid-level-ontology.kif 25040-25040 | 气温 的 1 数量 是 客体 的 instance |
(domain allowableValue 1 Object) | Mid-level-ontology.kif 30730-30730 | allowableValue 的 1 数量 是 客体 的 instance |
(domain anthem 2 Object) | Music.kif 355-355 | anthem 的 2 数量 是 客体 的 instance |
(domain applicableRelation 1 Object) | Mid-level-ontology.kif 30743-30743 | applicableRelation 的 1 数量 是 客体 的 instance |
(domain attribute 1 Object) | Merge.kif 1660-1660 | 属于 的 1 数量 是 客体 的 instance |
(domain axis 1 Object) | Mid-level-ontology.kif 16882-16882 | 轴 的 1 数量 是 客体 的 instance |
(domain axis 2 Object) | Mid-level-ontology.kif 16883-16883 | 轴 的 2 数量 是 客体 的 instance |
(domain barometricPressure 1 Object) | Merge.kif 7720-7720 | 气压 的 1 数量 是 客体 的 instance |
(domain beforeOnPath 1 Object) | Mid-level-ontology.kif 29157-29157 | beforeOnPath 的 1 数量 是 客体 的 instance |
(domain beforeOnPath 2 Object) | Mid-level-ontology.kif 29158-29158 | beforeOnPath 的 2 数量 是 客体 的 instance |
(domain beforeOnPath 3 Object) | Mid-level-ontology.kif 29159-29159 | beforeOnPath 的 3 数量 是 客体 的 instance |
(domain between 1 Object) | Merge.kif 4062-4062 | 之间 的 1 数量 是 客体 的 instance |
(domain between 2 Object) | Merge.kif 4063-4063 | 之间 的 2 数量 是 客体 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
(=> (and (?ROLE ?EVENT ?OBJ) (instance ?ROLE CaseRole) (instance ?EVENT Process) (instance ?OBJ Object)) (playsRoleInEvent ?OBJ ?ROLE ?EVENT)) |
Mid-level-ontology.kif 22675-22681 | |
(=> (and (attribute ?X ?Y) (instance ?Y TemperatureAttribute) (instance ?X Object)) (exists (?TEMP) (and (measure ?X ?TEMP) (instance ?TEMP TemperatureMeasure) (attribute ?TEMP ?Y)))) |
Mid-level-ontology.kif 25054-25063 | |
(=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Object) (instance ?X ?PHYS)) (confersRight (exists (?PROC) (and (instance ?PROC Process) (or (resource ?PROC ?X) (instrument ?PROC ?X) (patient ?PROC ?X)) (or (agent ?PROC ?CUST) (experiencer ?PROC ?CUST)))) ?AGENT ?CUST)) |
Hotel.kif 484-500 |
|
(=> (and (freeFunctionRoomAmenity ?FR ?PHYS) (instance ?RM ?FR) (element ?RM (PropertyFn ?AGENT)) (instance ?R Renting) (patient ?R ?RM) (destination ?R ?CUST) (instance ?X ?PHYS) (possesses ?AGENT ?X) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?CUST ?X)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 820-841 |
|
(=> (and (freePropertyAmenity ?AGENT ?PHYS) (instance ?X ?PHYS) (customer ?CUST ?AGENT) (or (and (instance ?X Process) (or (agent ?X ?CUST) (experiencer ?X ?CUST))) (and (possesses ?AGENT ?X) (instance ?X Object) (uses ?CUST ?X)))) (price ?X (MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 526-541 | |
(=> (and (freeRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (price ?P (MeasureFn 0 UnitedStatesDollar) ?HOTEL)) |
Hotel.kif 334-349 |
|
(=> (and (functionRoomAmenity ?FR ?PHY) (instance ?RM ?FR) (element ?RM (PropertyFn ?HOTEL)) (instance ?RENT Renting) (patient ?RENT ?RM) (agent ?RENT ?HOTEL) (destination ?RENT ?CUST) (subclass ?PHY Object)) (modalAttribute (exists (?O ?P) (and (instance ?O ?PHY) (instance ?P Process) (or (resource ?P ?O) (instrument ?P ?O) (patient ?P ?O)) (or (agent ?P ?CUST) (experiencer ?P ?CUST)))) Possibility)) |
Hotel.kif 790-811 |
|
(=> (and (guest ?CUST ?HOTEL) (stays ?CUST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?R ?ROOM) (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (exists (?O) (and (instance ?O ?OBJ) (located ?O ?R) (confersRight (exists (?PROC) (and (agent ?PROC ?CUST) (or (instrument ?PROC ?O) (patient ?PROC ?O) (resource ?PROC ?O)))) ?HOTEL ?CUST)))) |
Hotel.kif 289-308 |
|
(=> (and (instance ?ATC AddToCart) (instance ?OBJ Object) (patient ?ATC ?OBJ) (agent ?ATC ?USER)) (exists (?COLL ?SITE ?AFTER) (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?INTERVAL TimeInterval) (webcart ?USER ?COLL ?SITE) (equal (BeginFn ?INTERVAL) (EndFn ?ATC)) (holdsDuring ?AFTER (member ?OBJ ?COLL))))) |
UXExperimentalTerms.kif 1523-1539 |
|
(=> (and (instance ?ATC AddToCart) (instance ?USER Agent) (instance ?OBJ Object) (agent ?ATC ?USER) (patient ?ATC ?OBJ)) (desires ?USER (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (agent ?BUYING ?USER))))) |
UXExperimentalTerms.kif 1509-1521 | |
(=> (and (instance ?AUCTIONING Auctioning) (instance ?BIDDER1 Agent) (instance ?BIDDER2 Agent) (instance ?ITEM Object) (instance ?U UnitOfCurrency) (patient ?AUCTIONING ?ITEM) (bidPrice ?ITEM (MeasureFn ?OFFER1 ?U) ?BIDDER1) (bidPrice ?ITEM (MeasureFn ?OFFER2 ?U) ?BIDDER2) (greaterThan ?OFFER1 ?OFFER2)) (destination ?AUCTIONING ?BIDDER1)) |
UXExperimentalTerms.kif 437-448 | |
(=> (and (instance ?AUCTIONING Auctioning) (instance ?ITEM Object) (patient ?AUCTIONING ?ITEM)) (exists (?BIDDER ?OFFER) (and (instance ?BIDDER Agent) (instance ?OFFER CurrencyMeasure) (bidPrice ?ITEM ?OFFER ?BIDDER)))) |
UXExperimentalTerms.kif 426-435 | |
(=> (and (instance ?B Blade) (instance ?CUT Cutting) (instance ?OBJ Object) (instrument ?CUT ?B) (patient ?CUT ?OBJ)) (meetsSpatially ?B ?OBJ)) |
Mid-level-ontology.kif 21475-21482 | |
(=> (and (instance ?BUYINGS Collection) (instance ?GMB CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMB (GMBFn ?BUYINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?BUYING) (and (member ?BUYING ?BUYINGS) (patient ?ITEM ?BUYING)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL))) |
UXExperimentalTerms.kif 3447-3467 | |
(=> (and (instance ?CATEG WebListingCategory) (instance ?LISTING1 WebListing) (instance ?LISTING2 WebListing) (instance ?ITEM1 Object) (instance ?ITEM2 Object) (member ?LISTING1 ?CATEG) (member ?LISTING2 ?CATEG) (patient ?ITEM1 ?LISTING1) (patient ?ITEM2 ?LISTING2)) (exists (?CLASS) (and (instance ?CLASS Class) (instance ?ITEM1 ?CLASS) (instance ?ITEM2 ?CLASS)))) |
UXExperimentalTerms.kif 182-197 |
|
(=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (attribute ?LISTING ForSaleByOwner) (patient ?LISTING ?ITEM)) (instance ?ITEM Vehicle)) |
UXExperimentalTerms.kif 464-470 | |
(=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (instance ?OWNER Agent) (attribute ?LISTING ForSaleByOwner) (possesses ?OWNER ?ITEM)) (instance ?OWNER Human)) |
UXExperimentalTerms.kif 472-479 | |
(=> (and (instance ?L Lathe) (instance ?OBJ Object) (instrument ?PROC ?L) (patient ?PROC ?OBJ)) (exists (?R) (and (instance ?R Rotating) (subProcess ?PROC ?R) (patient ?R ?OBJ) (agent ?R ?L)))) |
Economy.kif 5041-5052 | |
(=> (and (instance ?L1 Object) (attribute ?L1 LongAndThin) (instance ?L2 Object) (attribute ?L2 LongAndThin) (connected ?L1 ?L2) (not (equal ?L1 ?L2))) (exists (?M) (relativeAngle ?L1 ?L2 ?M))) |
Merge.kif 17613-17623 | |
(=> (and (instance ?LISTING WebListing) (instance ?ITEM Object) (instance ?CREATOR Agent) (attribute ?LISTING AuctionAttribute) (patient ?ITEM ?LISTING) (creator ?CREATOR ?LISTING)) (desires ?CREATOR (exists (?AUCTION) (and (instance ?AUCTION Auctioning) (patient ?AUCTION ?ITEM))))) |
UXExperimentalTerms.kif 393-405 | |
(=> (and (instance ?OBJ Object) (attribute ?OBJ Pliable)) (exists (?CHANGE) (and (instance ?CHANGE ShapeChange) (patient ?CHANGE ?OBJ)))) |
Merge.kif 17477-17484 | |
(=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (exists (?SUB) (and (part ?SUB ?OBJ1) (located ?SUB ?OBJ2)))) |
Merge.kif 3971-3978 | |
(=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 3965-3969 | |
(=> (and (instance ?PLACE Object) (instance ?BLOW Wind) (measure ?BLOW (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION))) (surfaceWindVelocity ?PLACE (SpeedFn ?DIST ?TIME) ?DIRECTION)) |
Weather.kif 125-130 | |
(=> (and (instance ?REL CaseRole) (instance ?OBJ Object) (?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ))) |
Merge.kif 9503-9509 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
![]() |
![]() |
![]() |