|
|
   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 835-837 | |
| (documentation Physical JapaneseLanguage "時空に位置するエンティティ。 注：場所はそれ自体時空にあると理解する。") | japanese_format.kif 120-121 | |
| (documentation Physical SpanishLanguage "Una entidad que tiene ubicación en espacio-tiempo. Note que las ubicaciones se entienden tener sitio en espacio-tiempo.") | spanish_format.kif 139-140 | |
| (partition Physical Object Process) | Merge.kif 833-833 | 物理 は オブジェクト + 工程 に exhaustively partitioned %n |
| (subclass Physical Entity) | Merge.kif 832-832 | 物理 は エンティティー の subclass では %n |
| appearance as argument number 2 |
|
|
| (partition Entity Physical Abstract) | Merge.kif 816-816 | エンティティー は 物理 + 抽象的な に exhaustively partitioned %n |
| (subclass ContentBearingPhysical Physical) | Merge.kif 1304-1304 | ContentBearingPhysical は 物理 の subclass では %n |
| (subclass FinancialAsset Physical) | FinancialOntology.kif 41-41 | FinancialAsset は 物理 の subclass では %n |
| (subclass Object Physical) | Merge.kif 846-846 | オブジェクト は 物理 の subclass では %n |
| (subclass PhysicalSystem Physical) | Merge.kif 6121-6121 | PhysicalSystem は 物理 の subclass では %n |
| (subclass Process Physical) | Merge.kif 1622-1622 | 工程 は 物理 の subclass では %n |
| (termFormat ChineseLanguage Physical "物理") | chinese_format.kif 814-814 | |
| (termFormat EnglishLanguage Physical "physical") | english_format.kif 830-830 | |
| (termFormat FrenchLanguage Physical "physique") | french_format.kif 490-490 | |
| (termFormat Hindi Physical "bhOtika vaswu") | terms-hindi.txt 24-24 | |
| (termFormat ItalianLanguage Physical "Entit�Concreta") | terms-it.txt 26-26 | |
| (termFormat JapaneseLanguage Physical "物理") | japanese_format.kif 2175-2175 | |
| (termFormat PortugueseLanguage Physical "Fisico") | portuguese_format.kif 442-442 | |
| (termFormat cb Physical "sa lawas") | terms-cb.txt 27-27 | |
| (termFormat cz Physical "fyzick� objekt") | terms-cz.txt 57-57 | |
| (termFormat ro Physical "fizic") | relations-ro.kif 511-511 | |
| (termFormat tg Physical "materyal") | terms-tg.txt 27-27 |
| appearance as argument number 3 |
|
|
| (domain WhenFn 1 Physical) | Merge.kif 8468-8468 | WhenFn の数値 1 引数は 物理 の instance では %n |
| (domain WhereFn 1 Physical) | Merge.kif 4222-4222 | WhereFn の数値 1 引数は 物理 の instance では %n |
| (domain abstractCounterpart 2 Physical) | Merge.kif 6112-6112 | abstractCounterpart の数値 2 引数は 物理 の instance では %n |
| (domain altitude 1 Physical) | Merge.kif 7702-7702 | altitude の数値 1 引数は 物理 の instance では %n |
| (domain altitude 2 Physical) | Merge.kif 7703-7703 | altitude の数値 2 引数は 物理 の instance では %n |
| (domain anniversary 1 Physical) | Mid-level-ontology.kif 24130-24130 | anniversary の数値 1 引数は 物理 の instance では %n |
| (domain attitudeForObject 3 Physical) | emotion.kif 2120-2120 | attitudeForObject の数値 3 引数は 物理 の instance では %n |
| (domain cooccur 1 Physical) | Merge.kif 8389-8389 | cooccur の数値 1 引数は 物理 の instance では %n |
| (domain cooccur 2 Physical) | Merge.kif 8390-8390 | cooccur の数値 2 引数は 物理 の instance では %n |
| (domain courseWRTCompassNorth 1 Physical) | Geography.kif 3817-3817 | courseWRTCompassNorth の数値 1 引数は 物理 の instance では %n |
| (domain courseWRTCompassNorth 2 Physical) | Geography.kif 3818-3818 | courseWRTCompassNorth の数値 2 引数は 物理 の instance では %n |
| (domain courseWRTMagneticNorth 1 Physical) | Geography.kif 3785-3785 | courseWRTMagneticNorth の数値 1 引数は 物理 の instance では %n |
| (domain courseWRTMagneticNorth 2 Physical) | Geography.kif 3786-3786 | courseWRTMagneticNorth の数値 2 引数は 物理 の instance では %n |
| (domain courseWRTTrueNorth 1 Physical) | Geography.kif 3722-3722 | courseWRTTrueNorth の数値 1 引数は 物理 の instance では %n |
| (domain courseWRTTrueNorth 2 Physical) | Geography.kif 3723-3723 | courseWRTTrueNorth の数値 2 引数は 物理 の instance では %n |
| (domain date 1 Physical) | Merge.kif 8544-8544 | date の数値 1 引数は 物理 の instance では %n |
| (domain dateDissolved 1 Physical) | Government.kif 2555-2555 | dateDissolved の数値 1 引数は 物理 の instance では %n |
| (domain dateEstablished 1 Physical) | Mid-level-ontology.kif 950-950 | dateEstablished の数値 1 引数は 物理 の instance では %n |
| (domain distance 1 Physical) | Merge.kif 7680-7680 | distance の数値 1 引数は 物理 の instance では %n |
| (domain distance 2 Physical) | Merge.kif 7681-7681 | distance の数値 2 引数は 物理 の instance では %n |
| (domain evidence 2 Physical) | Law.kif 178-178 | evidence の数値 2 引数は 物理 の instance では %n |
| (domain flows 1 Physical) | Geography.kif 5406-5406 | flows の数値 1 引数は 物理 の instance では %n |
| (domain flows 2 Physical) | Geography.kif 5407-5407 | flows の数値 2 引数は 物理 の instance では %n |
| (domain hasPurpose 1 Physical) | Merge.kif 3945-3945 | hasPurpose の数値 1 引数は 物理 の instance では %n |
| (domain hasPurposeForAgent 1 Physical) | Merge.kif 3961-3961 | hasPurposeForAgent の数値 1 引数は 物理 の instance では %n |
| 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 29880-29889 | |
| (=> (and (holdsDuring ?INTERVAL (?REL ?INST1 ?INST2)) (instance ?INST1 Physical) (instance ?INST2 Physical)) (and (time ?INST1 ?INTERVAL) (time ?INST2 ?INTERVAL))) |
Merge.kif 7960-7967 | |
| (=> (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 337-352 |
|
| (=> (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 1416-1425 |
|
| (=> (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 2086-2099 |
|
| (=> (and (instance ?REL BinaryPredicate) (instance ?REL SpatialRelation) (instance ?OBJ1 Physical) (instance ?OBJ2 Physical) (?REL ?OBJ1 ?OBJ2)) (overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2))) |
Merge.kif 8249-8256 | |
| (=> (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 12954-12967 |
|
| (=> (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 354-370 |
|
| (=> (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 372-387 |
|
| (=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE)) |
Mid-level-ontology.kif 25512-25517 | |
| (=> (instance ?PHYS Physical) (exists (?LOC ?TIME) (and (located ?PHYS ?LOC) (time ?PHYS ?TIME)))) |
Merge.kif 839-844 |
| consequent |
|
|
| (=> (and (attribute ?X ?ATTR) (instance ?ATTR AmbienceAttribute)) (instance ?X Physical)) |
Dining.kif 1066-1070 | |
| (=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X)))) |
Mid-level-ontology.kif 26526-26534 | |
| (=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER FinancialTransaction)))) (exists (?ITEM ?BUYING) (equal (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Physical) (instance ?BUYING Buying) (member ?BUYING ?COLL) (patient ?BUYING ?ITEM)))) (BoughtItemsFn ?COLL)))) |
UXExperimentalTerms.kif 2895-2911 | |
| (=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (DivisionFn (CardinalityFn (exists (?LISTING ?SITE ?ITEM) (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 2853-2878 | |
| (=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (exists (?BIDDING ?ITEM ?LISTING ?BIDDING) (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 2930-2948 | |
| (=> (and (instance ?REL ObjectAttitude) (?REL ?AGENT ?THING)) (instance ?THING Physical)) |
Merge.kif 2715-2719 | |
| (=> (attribute ?X Historical) (instance ?X Physical)) |
Mid-level-ontology.kif 26518-26520 | |
| (=> (instance ?CHARGE FinalValueFee) (exists (?ADVERT ?SELLING ?OWNER ?ITEM ?SITE) (and (instance ?ADVERT WebListing) (instance ?SELLING Selling) (instance ?OWNER AutonomousAgent) (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 240-255 |
|
| (=> (instance ?RA RepresentationalArtWork) (exists (?P) (and (instance ?P Physical) (represents ?RA ?P)))) |
Merge.kif 15842-15847 | |
| (=> (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 12940-12952 |
|
| (=> (instance ?VIEW View) (exists (?ENTITY) (and (instance ?ENTITY Physical) (represents ?VIEW ?ENTITY)))) |
Dining.kif 943-948 | |
| (=> (siteCatalog ?DATABASE ?WEBSITE) (exists (?PART ?PRODUCTS ?BUYING) (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 2250-2267 |
|
|
|