Object(客体) | ![]() |
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 | "http://upload.wikimedia.org/wikipedia/en/thumb/e/ee/ Elaborate_wood_box_Tom_Tanaka.JPG/ 180px-Elaborate_wood_box_Tom_Tanaka.JPG" 是苗素 客体 的 URL |
(subclass Object Physical) | Merge.kif 812-812 | 客体 是 物理 的 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 2593-2593 | 线路 的 1 数量 是 客体 的 instance |
(domain LineFn 2 Object) | ComputingBrands.kif 2594-2594 | 线路 的 2 数量 是 客体 的 instance |
(domain MereologicalDifferenceFn 1 Object) | Merge.kif 9112-9112 | 部分差异函数 的 1 数量 是 客体 的 instance |
(domain MereologicalDifferenceFn 2 Object) | Merge.kif 9113-9113 | 部分差异函数 的 2 数量 是 客体 的 instance |
(domain MereologicalProductFn 1 Object) | Merge.kif 9091-9091 | 部分积函数 的 1 数量 是 客体 的 instance |
(domain MereologicalProductFn 2 Object) | Merge.kif 9092-9092 | 部分积函数 的 2 数量 是 客体 的 instance |
(domain MereologicalSumFn 1 Object) | Merge.kif 9069-9069 | 部分总和函数 的 1 数量 是 客体 的 instance |
(domain MereologicalSumFn 2 Object) | Merge.kif 9070-9070 | 部分总和函数 的 2 数量 是 客体 的 instance |
(domain absorbedDose 1 Object) | MilitaryProcesses.kif 870-870 | 吸收剂量 的 1 数量 是 客体 的 instance |
(domain adjacentOrientation 1 Object) | Hotel.kif 906-906 | adjacentOrientation 的 1 数量 是 客体 的 instance |
(domain advertisedOn 1 Object) | UXExperimentalTerms.kif 238-238 | advertisedOn 的 1 数量 是 客体 的 instance |
(domain airTemperature 1 Object) | Mid-level-ontology.kif 23592-23592 | 气温 的 1 数量 是 客体 的 instance |
(domain anthem 2 Object) | Music.kif 354-354 | anthem 的 2 数量 是 客体 的 instance |
(domain askPrice 1 Object) | FinancialOntology.kif 1862-1862 | 问价格 的 1 数量 是 客体 的 instance |
(domain attribute 1 Object) | Merge.kif 1626-1626 | 属于 的 1 数量 是 客体 的 instance |
(domain axis 1 Object) | Mid-level-ontology.kif 15024-15024 | 轴 的 1 数量 是 客体 的 instance |
(domain axis 2 Object) | Mid-level-ontology.kif 15025-15025 | 轴 的 2 数量 是 客体 的 instance |
(domain barometricPressure 1 Object) | Merge.kif 7284-7284 | 气压 的 1 数量 是 客体 的 instance |
(domain beforeOnPath 1 Object) | Mid-level-ontology.kif 27939-27939 | beforeOnPath 的 1 数量 是 客体 的 instance |
(domain beforeOnPath 2 Object) | Mid-level-ontology.kif 27940-27940 | beforeOnPath 的 2 数量 是 客体 的 instance |
(domain beforeOnPath 3 Object) | Mid-level-ontology.kif 27941-27941 | beforeOnPath 的 3 数量 是 客体 的 instance |
(domain between 1 Object) | Merge.kif 3879-3879 | 之间 的 1 数量 是 客体 的 instance |
(domain between 2 Object) | Merge.kif 3880-3880 | 之间 的 2 数量 是 客体 的 instance |
(domain between 3 Object) | Merge.kif 3881-3881 | 之间 的 3 数量 是 客体 的 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 21157-21163 | |
(=> (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 23607-23616 | |
(=> (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 480-496 |
|
(=> (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 814-835 |
|
(=> (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 522-537 | |
(=> (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 784-805 |
|
(=> (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 1520-1536 |
|
(=> (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 1506-1518 | |
(=> (and (instance ?AUCTIONING Auctioning) (instance ?BIDDER1 Agent) (instance ?BIDDER2 Agent) (instance ?ITEM Object) (patient ?AUCTIONING ?ITEM) (bidPrice ?ITEM ?OFFER1 ?BIDDER1) (bidPrice ?ITEM ?OFFER2 ?BIDDER2) (greaterThan ?OFFER1 ?OFFER2)) (destination ?AUCTIONING ?BIDDER1)) |
UXExperimentalTerms.kif 435-445 | |
(=> (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 424-433 | |
(=> (and (instance ?B Blade) (instance ?CUT Cutting) (instance ?OBJ Object) (instrument ?CUT ?B) (patient ?CUT ?OBJ)) (meetsSpatially ?B ?OBJ)) |
Mid-level-ontology.kif 19803-19810 | |
(=> (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 3442-3462 | |
(=> (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 461-467 | |
(=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (instance ?OWNER Agent) (attribute ?LISTING ForSaleByOwner) (possesses ?OWNER ?ITEM)) (instance ?OWNER Human)) |
UXExperimentalTerms.kif 469-476 | |
(=> (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 4883-4894 | |
(=> (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 391-403 | |
(=> (and (instance ?OBJ Object) (attribute ?OBJ Pliable)) (exists (?CHANGE) (and (instance ?CHANGE ShapeChange) (patient ?CHANGE ?OBJ)))) |
Merge.kif 16402-16409 | |
(=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (exists (?SUB) (and (part ?SUB ?OBJ1) (located ?SUB ?OBJ2)))) |
Merge.kif 3788-3795 | |
(=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 3782-3786 | |
(=> (and (instance ?PLACE Object) (instance ?BLOW Wind) (measure ?BLOW (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION))) (surfaceWindVelocity ?PLACE (SpeedFn ?DIST ?TIME) ?DIRECTION)) |
Weather.kif 115-120 | |
(=> (and (instance ?REL CaseRole) (instance ?OBJ Object) (?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ))) |
Merge.kif 8903-8909 | |
(=> (and (instance ?REPAYMENT Repayment) (instance ?REPAYMENT_DESTINATION Object) (destination ?REPAYMENT ?REPAYMENT_DESTINATION) (instance ?REPAYMENT_ORIGIN Object) (origin ?REPAYMENT ?REPAYMENT_ORIGIN)) (exists (?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION) (and (instance ?PAYMENT Payment) (instance ?PAYMENT_ORIGIN Object) (instance ?PAYMENT_DESTINATION Object) (not (equal ?PAYMENT ?REPAYMENT)) (destination ?PAYMENT ?PAYMENT_DESTINATION) (origin ?PAYMENT ?PAYMENT_ORIGIN) (equal ?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION) (equal ?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN)))) |
UXExperimentalTerms.kif 2087-2104 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
![]() |
![]() |
![]() |