| 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 800-802 | |
| (partition Physical Object Process) | Merge.kif 798-798 | 物理 详尽无遗地 partition 成 客体 和 过程 |
| (subclass Physical Entity) | Merge.kif 797-797 | 物理 是 实体 的 subclass |
| appearance as argument number 2 |
|
|
| (partition Entity Physical Abstract) | Merge.kif 781-781 | 实体 详尽无遗地 partition 成 物理 和 抽象体 |
| (subclass ContentBearingPhysical Physical) | Merge.kif 1198-1198 | 内容承载物理 是 物理 的 subclass |
| (subclass FinancialAsset Physical) | FinancialOntology.kif 41-41 | 金融资产 是 物理 的 subclass |
| (subclass Object Physical) | Merge.kif 811-811 | 客体 是 物理 的 subclass |
| (subclass PhysicalSystem Physical) | Merge.kif 5772-5772 | 物理系统 是 物理 的 subclass |
| (subclass Process Physical) | Merge.kif 1526-1526 | 过程 是 物理 的 subclass |
| (termFormat ChineseLanguage Physical "物理") | chinese_format.kif 814-814 | |
| (termFormat EnglishLanguage Physical "physical") | english_format.kif 835-835 |
| appearance as argument number 3 |
|
|
| (domain WhenFn 1 Physical) | Merge.kif 7894-7894 | 何时函数 的 1 数量 是 物理 的 instance |
| (domain WhereFn 1 Physical) | Merge.kif 4039-4039 | 表示位置的函数 的 1 数量 是 物理 的 instance |
| (domain abstractCounterpart 2 Physical) | Merge.kif 5763-5763 | abstractCounterpart 的 2 数量 是 物理 的 instance |
| (domain altitude 1 Physical) | Merge.kif 7269-7269 | 海拔 的 1 数量 是 物理 的 instance |
| (domain altitude 2 Physical) | Merge.kif 7270-7270 | 海拔 的 2 数量 是 物理 的 instance |
| (domain anniversary 1 Physical) | Mid-level-ontology.kif 21954-21954 | 周年 的 1 数量 是 物理 的 instance |
| (domain attitudeForObject 3 Physical) | emotion.kif 2018-2018 | attitudeForObject 的 3 数量 是 物理 的 instance |
| (domain cooccur 1 Physical) | Merge.kif 7819-7819 | 同时发生 的 1 数量 是 物理 的 instance |
| (domain cooccur 2 Physical) | Merge.kif 7820-7820 | 同时发生 的 2 数量 是 物理 的 instance |
| (domain courseWRTCompassNorth 1 Physical) | Geography.kif 3652-3652 | courseWRT罗盘北 的 1 数量 是 物理 的 instance |
| (domain courseWRTCompassNorth 2 Physical) | Geography.kif 3653-3653 | courseWRT罗盘北 的 2 数量 是 物理 的 instance |
| (domain courseWRTMagneticNorth 1 Physical) | Geography.kif 3623-3623 | courseWRT北磁 的 1 数量 是 物理 的 instance |
| (domain courseWRTMagneticNorth 2 Physical) | Geography.kif 3624-3624 | courseWRT北磁 的 2 数量 是 物理 的 instance |
| (domain courseWRTTrueNorth 1 Physical) | Geography.kif 3560-3560 | courseWRT 真北 的 1 数量 是 物理 的 instance |
| (domain courseWRTTrueNorth 2 Physical) | Geography.kif 3561-3561 | courseWRT 真北 的 2 数量 是 物理 的 instance |
| (domain date 1 Physical) | Merge.kif 7971-7971 | 日期 的 1 数量 是 物理 的 instance |
| (domain dateDissolved 1 Physical) | Government.kif 2496-2496 | 日期解散 的 1 数量 是 物理 的 instance |
| (domain dateEstablished 1 Physical) | Mid-level-ontology.kif 1359-1359 | 建立日期 的 1 数量 是 物理 的 instance |
| (domain distance 1 Physical) | Merge.kif 7247-7247 | 距离 的 1 数量 是 物理 的 instance |
| (domain distance 2 Physical) | Merge.kif 7248-7248 | 距离 的 2 数量 是 物理 的 instance |
| (domain evidence 2 Physical) | Law.kif 221-221 | evidence 的 2 数量 是 物理 的 instance |
| (domain flows 1 Physical) | Geography.kif 5106-5106 | 流动 的 1 数量 是 物理 的 instance |
| (domain flows 2 Physical) | Geography.kif 5107-5107 | 流动 的 2 数量 是 物理 的 instance |
| (domain hasPurpose 1 Physical) | Merge.kif 3771-3771 | 意图 的 1 数量 是 物理 的 instance |
| (domain hasPurposeForAgent 1 Physical) | Merge.kif 3787-3787 | 主事的意图 的 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 28134-28143 | |
| (=> (and (holdsDuring ?INTERVAL (?REL ?INST1 ?INST2)) (instance ?INST1 Physical) (instance ?INST2 Physical)) (and (time ?INST1 ?INTERVAL) (time ?INST2 ?INTERVAL))) |
Merge.kif 7519-7526 | |
| (=> (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 322-337 |
|
| (=> (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 1611-1620 | |
| (=> (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 2282-2295 |
|
| (=> (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 12011-12024 | |
| (=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE) (subclass ?ENT Physical)) (modalAttribute (=> (and (instance ?S Selling) (patient ?S ?ITEM) (immediateInstance ?ITEM ?ENT) (agent ?S ?SELLER) (destination ?S ?BUYER)) (transactionAmount ?S ?PRICE)) Promise)) |
Catalog.kif 262-276 |
|
| (=> (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 339-355 |
|
| (=> (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 357-372 |
|
| (=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE)) |
Mid-level-ontology.kif 23509-23514 | |
| (=> (instance ?PHYS Physical) (exists (?LOC ?TIME) (and (located ?PHYS ?LOC) (time ?PHYS ?TIME)))) |
Merge.kif 804-809 |
| consequent |
|
|
| (=> (and (attribute ?X ?ATTR) (instance ?ATTR AmbienceAttribute)) (instance ?X Physical)) |
Dining.kif 1016-1020 | |
| (=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X)))) |
Mid-level-ontology.kif 24713-24721 | |
| (=> (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 3091-3106 | |
| (=> (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 3125-3142 | |
| (=> (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 3050-3074 | |
| (=> (and (instance ?REL ObjectAttitude) (?REL ?AGENT ?THING)) (instance ?THING Physical)) |
Merge.kif 2616-2620 | |
| (=> (attribute ?X Historical) (instance ?X Physical)) |
Mid-level-ontology.kif 24705-24707 | |
| (=> (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 305-320 |
|
| (=> (instance ?RA RepresentationalArtWork) (exists (?P) (and (instance ?P Physical) (represents ?RA ?P)))) |
Merge.kif 14691-14696 | |
| (=> (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 11997-12009 | |
| (=> (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 2446-2463 |
|
|
|