| 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 | |
| (subclass Physical Entity) | Merge.kif 825-825 |
| appearance as argument number 2 |
|
|
| (partition Entity Physical Abstract) | Merge.kif 809-809 | |
| (subclass Collection Physical) | Merge.kif 1256-1256 | |
| (subclass ContentBearingPhysical Physical) | Merge.kif 1299-1299 | |
| (subclass FinancialAsset Physical) | FinancialOntology.kif 43-43 | |
| (subclass Object Physical) | Merge.kif 839-839 | |
| (subclass PhysicalSystem Physical) | Merge.kif 6131-6131 | |
| (subclass Process Physical) | Merge.kif 1617-1617 | |
| (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 de Physical "koerperlicher Gegenstand") | terms-de.txt 316-316 | |
| (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 8566-8566 | |
| (domain WhereFn 1 Physical) | Merge.kif 4235-4235 | |
| (domain abstractCounterpart 2 Physical) | Merge.kif 6122-6122 | |
| (domain age 1 Physical) | Merge.kif 7548-7548 | |
| (domain altitude 1 Physical) | Merge.kif 7769-7769 | |
| (domain altitude 2 Physical) | Merge.kif 7770-7770 | |
| (domain anniversary 1 Physical) | Mid-level-ontology.kif 25846-25846 | |
| (domain attitudeForObject 3 Physical) | emotion.kif 2118-2118 | |
| (domain cooccur 1 Physical) | Merge.kif 8487-8487 | |
| (domain cooccur 2 Physical) | Merge.kif 8488-8488 | |
| (domain courseWRTCompassNorth 1 Physical) | Geography.kif 3898-3898 | |
| (domain courseWRTCompassNorth 2 Physical) | Geography.kif 3899-3899 | |
| (domain courseWRTMagneticNorth 1 Physical) | Geography.kif 3866-3866 | |
| (domain courseWRTMagneticNorth 2 Physical) | Geography.kif 3867-3867 | |
| (domain courseWRTTrueNorth 1 Physical) | Geography.kif 3710-3710 | |
| (domain courseWRTTrueNorth 2 Physical) | Geography.kif 3711-3711 | |
| (domain date 1 Physical) | Merge.kif 8642-8642 | |
| (domain dateDissolved 1 Physical) | Government.kif 2516-2516 | |
| (domain dateEstablished 1 Physical) | Mid-level-ontology.kif 971-971 | |
| (domain depth 1 Physical) | Merge.kif 7793-7793 | |
| (domain depth 2 Physical) | Merge.kif 7794-7794 | |
| (domain distance 1 Physical) | Merge.kif 7747-7747 | |
| (domain distance 2 Physical) | Merge.kif 7748-7748 | |
| (domain evidence 2 Physical) | Law.kif 178-178 | |
| (domain exactlyLocated 1 Physical) | Merge.kif 4141-4141 | |
| 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 31614-31623 | |
| (=> (and (holdsDuring ?INTERVAL (?REL ?INST1 ?INST2)) (instance ?INST1 Physical) (instance ?INST2 Physical)) (and (time ?INST1 ?INTERVAL) (time ?INST2 ?INTERVAL))) |
Merge.kif 8030-8037 | |
| (=> (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 8347-8354 | |
| (=> (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 13123-13136 | |
| (=> (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 7660-7665 | |
| (=> (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 33541-33549 | |
| (=> (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 33557-33565 |
| 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 28252-28260 | |
| (=> (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 2711-2715 | |
| (=> (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 21418-21426 | |
| (=> (attribute ?X Historical) (instance ?X Physical)) |
Mid-level-ontology.kif 28244-28246 | |
| (=> (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 16007-16012 | |
| (=> (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 13109-13121 | |
| (=> (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 |
|
|
|