| Physical(物理) | |
| appearance as argument number 1 |
|
|
| (documentation Physical ChineseLanguage "存在时空中某位置的个体。注：位置本身应理解为，存在于某个时空 的位置。") | chinese_format.kif 1550-1551 | |
| (documentation Physical EnglishLanguage "An entity that has a location in space-time. Note that locations are themselves understood to have a location in space-time.") | Merge.kif 818-820 | |
| (partition Physical Object Process) | Merge.kif 816-816 | 物理 详尽无遗地 partition 成 客体 和 过程 |
| (subclass Physical Entity) | Merge.kif 815-815 | 物理 是 实体 的 subclass |
| appearance as argument number 2 |
|
|
| (partition Entity Physical Abstract) | Merge.kif 799-799 | 实体 详尽无遗地 partition 成 物理 和 抽象体 |
| (subclass ContentBearingPhysical Physical) | Merge.kif 1257-1257 | 内容承载物理 是 物理 的 subclass |
| (subclass FinancialAsset Physical) | FinancialOntology.kif 41-41 | 金融资产 是 物理 的 subclass |
| (subclass Object Physical) | Merge.kif 829-829 | 客体 是 物理 的 subclass |
| (subclass PhysicalSystem Physical) | Merge.kif 6025-6025 | 物理系统 是 物理 的 subclass |
| (subclass Process Physical) | Merge.kif 1562-1562 | 过程 是 物理 的 subclass |
| (termFormat ChineseLanguage Physical "物理") | chinese_format.kif 814-814 | |
| (termFormat EnglishLanguage Physical "physical") | english_format.kif 830-830 |
| appearance as argument number 3 |
|
|
| (domain WhenFn 1 Physical) | Merge.kif 8370-8370 | 何时函数 的 1 数量 是 物理 的 instance |
| (domain WhereFn 1 Physical) | Merge.kif 4132-4132 | 表示位置的函数 的 1 数量 是 物理 的 instance |
| (domain abstractCounterpart 2 Physical) | Merge.kif 6016-6016 | abstractCounterpart 的 2 数量 是 物理 的 instance |
| (domain altitude 1 Physical) | Merge.kif 7606-7606 | 海拔 的 1 数量 是 物理 的 instance |
| (domain altitude 2 Physical) | Merge.kif 7607-7607 | 海拔 的 2 数量 是 物理 的 instance |
| (domain anniversary 1 Physical) | Mid-level-ontology.kif 23593-23593 | 周年 的 1 数量 是 物理 的 instance |
| (domain attitudeForObject 3 Physical) | emotion.kif 2128-2128 | attitudeForObject 的 3 数量 是 物理 的 instance |
| (domain cooccur 1 Physical) | Merge.kif 8291-8291 | 同时发生 的 1 数量 是 物理 的 instance |
| (domain cooccur 2 Physical) | Merge.kif 8292-8292 | 同时发生 的 2 数量 是 物理 的 instance |
| (domain courseWRTCompassNorth 1 Physical) | Geography.kif 3739-3739 | courseWRT罗盘北 的 1 数量 是 物理 的 instance |
| (domain courseWRTCompassNorth 2 Physical) | Geography.kif 3740-3740 | courseWRT罗盘北 的 2 数量 是 物理 的 instance |
| (domain courseWRTMagneticNorth 1 Physical) | Geography.kif 3707-3707 | courseWRT北磁 的 1 数量 是 物理 的 instance |
| (domain courseWRTMagneticNorth 2 Physical) | Geography.kif 3708-3708 | courseWRT北磁 的 2 数量 是 物理 的 instance |
| (domain courseWRTTrueNorth 1 Physical) | Geography.kif 3644-3644 | courseWRT 真北 的 1 数量 是 物理 的 instance |
| (domain courseWRTTrueNorth 2 Physical) | Geography.kif 3645-3645 | courseWRT 真北 的 2 数量 是 物理 的 instance |
| (domain date 1 Physical) | Merge.kif 8446-8446 | 日期 的 1 数量 是 物理 的 instance |
| (domain dateDissolved 1 Physical) | Government.kif 2540-2540 | 日期解散 的 1 数量 是 物理 的 instance |
| (domain dateEstablished 1 Physical) | Mid-level-ontology.kif 935-935 | 建立日期 的 1 数量 是 物理 的 instance |
| (domain distance 1 Physical) | Merge.kif 7584-7584 | 距离 的 1 数量 是 物理 的 instance |
| (domain distance 2 Physical) | Merge.kif 7585-7585 | 距离 的 2 数量 是 物理 的 instance |
| (domain evidence 2 Physical) | Law.kif 221-221 | evidence 的 2 数量 是 物理 的 instance |
| (domain flows 1 Physical) | Geography.kif 5326-5326 | 流动 的 1 数量 是 物理 的 instance |
| (domain flows 2 Physical) | Geography.kif 5327-5327 | 流动 的 2 数量 是 物理 的 instance |
| (domain hasPurpose 1 Physical) | Merge.kif 3864-3864 | 意图 的 1 数量 是 物理 的 instance |
| (domain hasPurposeForAgent 1 Physical) | Merge.kif 3880-3880 | 主事的意图 的 1 数量 是 物理 的 instance |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (and (buys ?CUST ?AGENT ?ITEM) (instance ?ITEM Physical)) (exists (?TRANS) (and (instance ?TRANS Buying) (patient ?TRANS ?ITEM) (agent ?TRANS ?CUST) (origin ?TRANS ?AGENT)))) |
Mid-level-ontology.kif 29347-29356 | |
| (=> (and (holdsDuring ?INTERVAL (?REL ?INST1 ?INST2)) (instance ?INST1 Physical) (instance ?INST2 Physical)) (and (time ?INST1 ?INTERVAL) (time ?INST2 ?INTERVAL))) |
Merge.kif 7864-7871 | |
| (=> (and (instance ?B Buying) (patient ?B ?ITEM) (origin ?B ?AGENT) (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validPaymentType ?PS ?PAY)) (modalAttribute (exists (?PAYMENT) (and (instance ?PAYMENT ?PAY) (subProcess ?PAYMENT ?B))) Likely)) |
Catalog.kif 332-347 |
|
| (=> (and (instance ?BIDDING Bidding) (instance ?OBJECT Physical) (instance ?AMOUNT CurrencyMeasure) (instance ?AGENT ?AGENT) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT)) (bidPrice ?OBJECT ?AMOUNT ?AGENT)) |
UXExperimentalTerms.kif 1614-1623 | |
| (=> (and (instance ?PAGE ViewItemPage) (instance ?ADVERTISING WebListing) (component ?ADVERTISING ?PAGE) (patient ?ADVERTISING ?ITEM) (instance ?ITEM Physical)) (exists (?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT) (and (instance ?STATING Stating) (patient ?STATING ?DESCRIPTION) (refers ?DESCRIPTION ?ITEM) (result ?DESCRIPTION ?DESCRIPTIONCONTENT) (part ?DESCRIPTIONCONTENT ?PAGE)))) |
UXExperimentalTerms.kif 2287-2300 |
|
| (=> (and (instance ?S Searching) (patient ?S ?OBJ) (instance ?OBJ Physical)) (exists (?LOC ?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?S ?AGENT) (instance ?LOC Object) (located ?OBJ ?LOC) (hasPurposeForAgent ?S (knows ?AGENT (located ?OBJ ?LOC)) ?AGENT)))) |
Merge.kif 12742-12755 | |
| (=> (and (offers ?AGENT ?CATALOG) (catalogItem ?OBJ ?CATALOG) (subclass ?OBJ Physical)) (modalAttribute (exists (?S ?X) (and (instance ?X ?OBJ) (instance ?S Selling) (agent ?S ?AGENT) (patient ?S ?X))) Possibility)) |
Catalog.kif 51-62 | |
| (=> (and (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validFor ?PS ?CUSTCLASS) (instance ?CUSTOMER ?CUSTCLASS)) (modalAttribute (=> (and (instance ?B Buying) (agent ?B ?CUSTOMER) (origin ?B ?AGENT) (patient ?B ?ITEM)) (transactionAmount ?B ?PRICE)) Likely)) |
Catalog.kif 349-365 |
|
| (=> (and (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validityPeriod ?PS ?TIMEINT)) (holdsDuring ?TIMEINT (modalAttribute (=> (and (instance ?S Selling) (agent ?S ?AGENT) (patient ?S ?ITEM)) (transactionAmount ?S ?PRICE)) Likely))) |
Catalog.kif 367-382 |
|
| (=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE)) |
Mid-level-ontology.kif 24947-24952 | |
| (=> (instance ?PHYS Physical) (exists (?LOC ?TIME) (and (located ?PHYS ?LOC) (time ?PHYS ?TIME)))) |
Merge.kif 822-827 |
| consequent |
|
|
| (=> (and (attribute ?X ?ATTR) (instance ?ATTR AmbienceAttribute)) (instance ?X Physical)) |
Dining.kif 1019-1023 | |
| (=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X)))) |
Mid-level-ontology.kif 25957-25965 | |
| (=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER FinancialTransaction)))) (equal (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Physical) (instance ?BUYING Buying) (member ?BUYING ?COLL) (patient ?BUYING ?ITEM)))) (BoughtItemsFn ?COLL))) |
UXExperimentalTerms.kif 3096-3111 | |
| (=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (CardinalityFn (KappaFn ?BIDDING (and (instance ?ITEM Physical) (instance ?LISTING WebListing) (instance ?BIDDING Bidding) (member ?LISTING ?COLL) (objectOfBid ?BIDDING ?ITEM) (patient ?LISTING ?ITEM)))) (BidCountFn ?COLL))) |
UXExperimentalTerms.kif 3130-3147 | |
| (=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (DivisionFn (CardinalityFn (KappaFn ?LISTING (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (instance ?ITEM Physical) (member ?LISTING ?COLL) (patient ?LISTING ?ITEM) (hostedOn ?LISTING ?SITE) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?ITEM) (eCommerceSite ?BUYING ?SITE)))))) (CardinalityFn ?COLL)) (BidCountFn ?COLL))) |
UXExperimentalTerms.kif 3055-3079 | |
| (=> (and (instance ?REL ObjectAttitude) (?REL ?AGENT ?THING)) (instance ?THING Physical)) |
Merge.kif 2655-2659 | |
| (=> (attribute ?X Historical) (instance ?X Physical)) |
Mid-level-ontology.kif 25949-25951 | |
| (=> (instance ?CHARGE FinalValueFee) (exists (?ADVERT ?SELLING ?OWNER ?ITEM ?SITE) (and (instance ?ADVERT WebListing) (instance ?SELLING Selling) (instance ?OWNER Agent) (instance ?ITEM Physical) (instance ?ADVERT WebListing) (patient ?ADVERT ?ITEM) (patient ?SELLING ?ITEM) (causes ?SELLING ?CHARGE) (agent ?CHARGE ?OWNER) (hostedOn ?ADVERT ?SITE) (possesses ?OWNER ?SITE) (eCommerceSite ?SELLING ?OWNER)))) |
UXExperimentalTerms.kif 307-322 |
|
| (=> (instance ?RA RepresentationalArtWork) (exists (?P) (and (instance ?P Physical) (represents ?RA ?P)))) |
Merge.kif 15590-15595 | |
| (=> (instance ?S Searching) (exists (?AGENT ?OBJ ?LOC) (and (instance ?AGENT CognitiveAgent) (agent ?S ?AGENT) (instance ?OBJ Physical) (patient ?S ?OBJ) (instance ?LOC Object) (located ?OBJ ?LOC) (hasPurposeForAgent ?S (knows ?AGENT (located ?OBJ ?LOC)) ?AGENT)))) |
Merge.kif 12728-12740 | |
| (=> (instance ?VIEW View) (exists (?ENTITY) (and (instance ?ENTITY Physical) (represents ?VIEW ?ENTITY)))) |
Dining.kif 896-901 | |
| (=> (siteCatalog ?DATABASE ?WEBSITE) (exists (?PART) (and (instance ?PRODUCTS Collection) (part ?PART ?DATABASE) (represents ?PART ?PRODUCTS) (forall (?MEMBER) (=> (member ?MEMBER ?PRODUCTS) (and (instance ?MEMBER Physical) (capability (KappaFn ?BUYING (and (instance ?BUYING Buying) (eCommerceSite ?BUYING ?WEBSITE))) patient ?MEMBER))))))) |
UXExperimentalTerms.kif 2451-2468 |
|
|
|