| Physical | |
| appearance as argument number 1 |
|
|
| (documentation Physical ChineseLanguage "存在时空中某位置的个体。注：位置本身应理解为，存在于某个时空 的位置。") | Merge.kif 861-862 | |
| (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 858-860 | |
| (partition Physical Object Process) | Merge.kif 857-857 | |
| (subclass Physical Entity) | Merge.kif 856-856 |
| appearance as argument number 2 |
|
|
| (partition Entity Physical Abstract) | Merge.kif 840-840 | |
| (subclass ContentBearingPhysical Physical) | Merge.kif 1324-1324 | |
| (subclass FinancialAsset Physical) | FinancialOntology.kif 41-41 | |
| (subclass Object Physical) | Merge.kif 871-871 | |
| (subclass PhysicalSystem Physical) | Merge.kif 6220-6220 | |
| (subclass Process Physical) | Merge.kif 1650-1650 | |
| (termFormat ChineseLanguage Physical "物理") | chinese_format.kif 814-814 | |
| (termFormat EnglishLanguage Physical "physical") | english_format.kif 501-501 | |
| (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 24-24 | |
| (termFormat PortugueseLanguage Physical "Fisico") | portuguese_format.kif 442-442 | |
| (termFormat ar Physical "فِيْزيَائِي") | arabic_format.kif 226-226 | |
| (termFormat cb Physical "sa lawas") | terms-cb.txt 27-27 | |
| (termFormat cz Physical "fyzick� objekt") | terms-cz.txt 57-57 | |
| (termFormat tg Physical "materyal") | terms-tg.txt 27-27 |
| appearance as argument number 3 |
|
|
| (domain WhenFn 1 Physical) | Merge.kif 8519-8519 | |
| (domain WhereFn 1 Physical) | Merge.kif 4329-4329 | |
| (domain abstractCounterpart 2 Physical) | Merge.kif 6209-6209 | |
| (domain anniversary 1 Physical) | Mid-level-ontology.kif 21549-21549 | |
| (domain attitudeForObject 3 Physical) | emotion.kif 2012-2012 | |
| (domain cooccur 1 Physical) | Merge.kif 8437-8437 | |
| (domain cooccur 2 Physical) | Merge.kif 8438-8438 | |
| (domain courseWRTCompassNorth 1 Physical) | Geography.kif 3639-3639 | |
| (domain courseWRTCompassNorth 2 Physical) | Geography.kif 3640-3640 | |
| (domain courseWRTMagneticNorth 1 Physical) | Geography.kif 3610-3610 | |
| (domain courseWRTMagneticNorth 2 Physical) | Geography.kif 3611-3611 | |
| (domain courseWRTTrueNorth 1 Physical) | Geography.kif 3547-3547 | |
| (domain courseWRTTrueNorth 2 Physical) | Geography.kif 3548-3548 | |
| (domain date 1 Physical) | Merge.kif 8602-8602 | |
| (domain dateDissolved 1 Physical) | Government.kif 2502-2502 | |
| (domain dateEstablished 1 Physical) | Mid-level-ontology.kif 1364-1364 | |
| (domain distance 1 Physical) | Merge.kif 7837-7837 | |
| (domain distance 2 Physical) | Merge.kif 7838-7838 | |
| (domain evidence 2 Physical) | Law.kif 220-220 | |
| (domain flows 1 Physical) | Geography.kif 5093-5093 | |
| (domain flows 2 Physical) | Geography.kif 5094-5094 | |
| (domain hasPurpose 1 Physical) | Merge.kif 4049-4049 | |
| (domain hasPurposeForAgent 1 Physical) | Merge.kif 4070-4070 | |
| (domain located 1 Physical) | Merge.kif 4172-4172 | |
| (domain managedBy 1 Physical) | Hotel.kif 614-614 | |
| 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 27688-27697 | |
| (=> (and (holdsDuring ?INTERVAL (?REL ?INST1 ?INST2)) (instance ?INST1 Physical) (instance ?INST2 Physical)) (and (time ?INST1 ?INTERVAL) (time ?INST2 ?INTERVAL))) |
Merge.kif 8128-8135 | |
| (=> (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 1615-1624 | |
| (=> (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 2285-2298 | |
| (=> (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 12782-12795 | |
| (=> (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 ?TIMTEINT (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)) |
ComputerInput.kif 142-147 | |
| (=> (instance ?PHYS Physical) (exists (?LOC ?TIME) (and (located ?PHYS ?LOC) (time ?PHYS ?TIME)))) |
Merge.kif 864-869 |
| consequent |
|
|
| (=> (and (attribute ?X ?ATTR) (instance ?ATTR AmbienceAttribute)) (instance ?X Physical)) |
Dining.kif 1020-1024 | |
| (=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X)))) |
Mid-level-ontology.kif 24259-24267 | |
| (=> (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 3094-3109 | |
| (=> (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 3128-3145 | |
| (=> (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 3053-3077 | |
| (=> (and (instance ?REL ObjectAttitude) (?REL ?AGENT ?THING)) (instance ?THING Physical)) |
Merge.kif 2878-2882 | |
| (=> (attribute ?X Historical) (instance ?X Physical)) |
Mid-level-ontology.kif 24251-24253 | |
| (=> (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 308-323 | |
| (=> (instance ?RA RepresentationalArtWork) (exists (?P) (and (instance ?P Physical) (represents ?RA ?P)))) |
Merge.kif 15898-15903 | |
| (=> (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 12768-12780 | |
| (=> (instance ?VIEW View) (exists (?ENTITY) (and (instance ?ENTITY Physical) (represents ?VIEW ?ENTITY)))) |
Dining.kif 900-905 | |
| (=> (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 2449-2466 |
|
|
|