| 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 828-830 | |
| (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 826-826 | 物理 は オブジェクト + 工程 に exhaustively partitioned |
| (subclass Physical Entity) | Merge.kif 825-825 | 物理 は エンティティー の subclass では |
| appearance as argument number 2 |
|
|
| (partition Entity Physical Abstract) | Merge.kif 809-809 | エンティティー は 物理 + 抽象的な に exhaustively partitioned |
| (subclass Collection Physical) | Merge.kif 1271-1271 | コレクション は 物理 の subclass では |
| (subclass ContentBearingPhysical Physical) | Merge.kif 1314-1314 | ContentBearingPhysical は 物理 の subclass では |
| (subclass FinancialAsset Physical) | FinancialOntology.kif 43-43 | FinancialAsset は 物理 の subclass では |
| (subclass Object Physical) | Merge.kif 839-839 | オブジェクト は 物理 の subclass では |
| (subclass PhysicalSystem Physical) | Merge.kif 6146-6146 | PhysicalSystem は 物理 の subclass では |
| (subclass Process Physical) | Merge.kif 1632-1632 | 工程 は 物理 の subclass では |
| (termFormat ChineseLanguage Physical "物理") | chinese_format.kif 814-814 | 工程 は 物理 の subclass では |
| (termFormat EnglishLanguage Physical "physical") | english_format.kif 830-830 | 工程 は 物理 の subclass では |
| (termFormat FrenchLanguage Physical "physique") | french_format.kif 490-490 | 工程 は 物理 の subclass では |
| (termFormat Hindi Physical "bhOtika vaswu") | terms-hindi.txt 24-24 | 工程 は 物理 の subclass では |
| (termFormat ItalianLanguage Physical "Entit�Concreta") | terms-it.txt 26-26 | 工程 は 物理 の subclass では |
| (termFormat JapaneseLanguage Physical "物理") | japanese_format.kif 2175-2175 | 工程 は 物理 の subclass では |
| (termFormat PortugueseLanguage Physical "Fisico") | portuguese_format.kif 442-442 | 工程 は 物理 の subclass では |
| (termFormat cb Physical "sa lawas") | terms-cb.txt 27-27 | 工程 は 物理 の subclass では |
| (termFormat cz Physical "fyzick� objekt") | terms-cz.txt 57-57 | 工程 は 物理 の subclass では |
| (termFormat de Physical "koerperlicher Gegenstand") | terms-de.txt 316-316 | 工程 は 物理 の subclass では |
| (termFormat ro Physical "fizic") | relations-ro.kif 511-511 | 工程 は 物理 の subclass では |
| (termFormat tg Physical "materyal") | terms-tg.txt 27-27 | 工程 は 物理 の subclass では |
| appearance as argument number 3 |
|
|
| (domain WhenFn 1 Physical) | Merge.kif 8581-8581 | WhenFn の数値 1 引数は 物理 の instance では |
| (domain WhereFn 1 Physical) | Merge.kif 4250-4250 | WhereFn の数値 1 引数は 物理 の instance では |
| (domain abstractCounterpart 2 Physical) | Merge.kif 6137-6137 | abstractCounterpart の数値 2 引数は 物理 の instance では |
| (domain age 1 Physical) | Merge.kif 7563-7563 | age の数値 1 引数は 物理 の instance では |
| (domain altitude 1 Physical) | Merge.kif 7784-7784 | altitude の数値 1 引数は 物理 の instance では |
| (domain altitude 2 Physical) | Merge.kif 7785-7785 | altitude の数値 2 引数は 物理 の instance では |
| (domain anniversary 1 Physical) | Mid-level-ontology.kif 25827-25827 | anniversary の数値 1 引数は 物理 の instance では |
| (domain attitudeForObject 3 Physical) | emotion.kif 2118-2118 | attitudeForObject の数値 3 引数は 物理 の instance では |
| (domain cooccur 1 Physical) | Merge.kif 8502-8502 | cooccur の数値 1 引数は 物理 の instance では |
| (domain cooccur 2 Physical) | Merge.kif 8503-8503 | cooccur の数値 2 引数は 物理 の instance では |
| (domain courseWRTCompassNorth 1 Physical) | Geography.kif 4068-4068 | courseWRTCompassNorth の数値 1 引数は 物理 の instance では |
| (domain courseWRTCompassNorth 2 Physical) | Geography.kif 4069-4069 | courseWRTCompassNorth の数値 2 引数は 物理 の instance では |
| (domain courseWRTMagneticNorth 1 Physical) | Geography.kif 4036-4036 | courseWRTMagneticNorth の数値 1 引数は 物理 の instance では |
| (domain courseWRTMagneticNorth 2 Physical) | Geography.kif 4037-4037 | courseWRTMagneticNorth の数値 2 引数は 物理 の instance では |
| (domain courseWRTTrueNorth 1 Physical) | Geography.kif 3880-3880 | courseWRTTrueNorth の数値 1 引数は 物理 の instance では |
| (domain courseWRTTrueNorth 2 Physical) | Geography.kif 3881-3881 | courseWRTTrueNorth の数値 2 引数は 物理 の instance では |
| (domain date 1 Physical) | Merge.kif 8657-8657 | date の数値 1 引数は 物理 の instance では |
| (domain dateDissolved 1 Physical) | Government.kif 2516-2516 | dateDissolved の数値 1 引数は 物理 の instance では |
| (domain dateEstablished 1 Physical) | Mid-level-ontology.kif 971-971 | dateEstablished の数値 1 引数は 物理 の instance では |
| (domain depth 1 Physical) | Merge.kif 7808-7808 | depth の数値 1 引数は 物理 の instance では |
| (domain depth 2 Physical) | Merge.kif 7809-7809 | depth の数値 2 引数は 物理 の instance では |
| (domain distance 1 Physical) | Merge.kif 7762-7762 | distance の数値 1 引数は 物理 の instance では |
| (domain distance 2 Physical) | Merge.kif 7763-7763 | distance の数値 2 引数は 物理 の instance では |
| (domain evidence 2 Physical) | Law.kif 178-178 | evidence の数値 2 引数は 物理 の instance では |
| (domain exactlyLocated 1 Physical) | Merge.kif 4156-4156 | exactlyLocated の数値 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 31855-31864 | |
| (=> (and (holdsDuring ?INTERVAL (?REL ?INST1 ?INST2)) (instance ?INST1 Physical) (instance ?INST2 Physical)) (and (time ?INST1 ?INTERVAL) (time ?INST2 ?INTERVAL))) |
Merge.kif 8045-8052 | |
| (=> (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 2078-2091 |
|
| (=> (and (instance ?REL BinaryPredicate) (instance ?REL SpatialRelation) (instance ?OBJ1 Physical) (instance ?OBJ2 Physical) (?REL ?OBJ1 ?OBJ2)) (overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2))) |
Merge.kif 8362-8369 | |
| (=> (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 13138-13151 | |
| (=> (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)) |
Merge.kif 7675-7680 | |
| (=> (instance ?PHYS Physical) (exists (?LOC ?TIME) (and (located ?PHYS ?LOC) (time ?PHYS ?TIME)))) |
Merge.kif 832-837 | |
| (=> (instance ?PHYSICAL Physical) (exists (?LIFESPAN ?BEGINMOMENT ?NASCENTDURATION ?NASCENT) (and (equal ?LIFESPAN (WhenFn ?PHYSICAL)) (equal ?BEGINMOMENT (BeginFn ?LIFESPAN)) (equal ?NASCENTDURATION (ImmediateFutureFn ?BEGINMOMENT)) (holdsDuring ?NASCENTDURATION (attribute ?PHYSICAL ?NASCENT))))) |
Mid-level-ontology.kif 33782-33790 | |
| (=> (instance ?PHYSICAL Physical) (exists (?LIFESPAN ?ENDMOMENT ?MORIBUNDDURATION ?MORIBUND) (and (equal ?LIFESPAN (WhenFn ?PHYSICAL)) (equal ?ENDMOMENT (EndFn ?LIFESPAN)) (equal ?MORIBUNDDURATION (ImmediatePastFn ?ENDMOMENT)) (holdsDuring ?MORIBUNDDURATION (attribute ?PHYSICAL ?MORIBUND))))) |
Mid-level-ontology.kif 33798-33806 |
| 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 28493-28501 | |
| (=> (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 2887-2903 | |
| (=> (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 2845-2870 | |
| (=> (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 2922-2940 | |
| (=> (and (instance ?REL ObjectAttitude) (?REL ?AGENT ?THING)) (instance ?THING Physical)) |
Merge.kif 2726-2730 | |
| (=> (attribute ?ORG Greedy) (exists (?OBJ) (and (instance ?ORG Organism) (instance ?OBJ Physical) (desires ?ORG (possesses ?ORG ?OBJ)) (not (modalAttribute (possesses ?ORG ?OBJ) Necessity))))) |
Mid-level-ontology.kif 21401-21409 | |
| (=> (attribute ?X Historical) (instance ?X Physical)) |
Mid-level-ontology.kif 28485-28487 | |
| (=> (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 16022-16027 | |
| (=> (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 13124-13136 |
|
| (=> (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 2242-2259 |
|
|
|