Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Physical
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 801-803
(partition Physical Object Process) Merge.kif 799-799
(subclass Physical Entity) Merge.kif 798-798

appearance as argument number 2
-------------------------


(partition Entity Physical Abstract) Merge.kif 782-782
(subclass ContentBearingPhysical Physical) Merge.kif 1203-1203
(subclass FinancialAsset Physical) FinancialOntology.kif 41-41
(subclass Object Physical) Merge.kif 812-812
(subclass PhysicalSystem Physical) Merge.kif 5861-5861
(subclass Process Physical) Merge.kif 1532-1532
(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 8077-8077
(domain WhereFn 1 Physical) Merge.kif 4085-4085
(domain abstractCounterpart 2 Physical) Merge.kif 5852-5852
(domain altitude 1 Physical) Merge.kif 7447-7447
(domain altitude 2 Physical) Merge.kif 7448-7448
(domain anniversary 1 Physical) Mid-level-ontology.kif 22912-22912
(domain attitudeForObject 3 Physical) emotion.kif 2057-2057
(domain cooccur 1 Physical) Merge.kif 8002-8002
(domain cooccur 2 Physical) Merge.kif 8003-8003
(domain courseWRTCompassNorth 1 Physical) Geography.kif 3695-3695
(domain courseWRTCompassNorth 2 Physical) Geography.kif 3696-3696
(domain courseWRTMagneticNorth 1 Physical) Geography.kif 3666-3666
(domain courseWRTMagneticNorth 2 Physical) Geography.kif 3667-3667
(domain courseWRTTrueNorth 1 Physical) Geography.kif 3603-3603
(domain courseWRTTrueNorth 2 Physical) Geography.kif 3604-3604
(domain date 1 Physical) Merge.kif 8154-8154
(domain dateDissolved 1 Physical) Government.kif 2536-2536
(domain dateEstablished 1 Physical) Mid-level-ontology.kif 918-918
(domain distance 1 Physical) Merge.kif 7425-7425
(domain distance 2 Physical) Merge.kif 7426-7426
(domain evidence 2 Physical) Law.kif 221-221
(domain flows 1 Physical) Geography.kif 5212-5212
(domain flows 2 Physical) Geography.kif 5213-5213
(domain hasPurpose 1 Physical) Merge.kif 3817-3817
(domain hasPurposeForAgent 1 Physical) Merge.kif 3833-3833

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 28668-28677
(=>
    (and
        (holdsDuring ?INTERVAL
            (?REL ?INST1 ?INST2))
        (instance ?INST1 Physical)
        (instance ?INST2 Physical))
    (and
        (time ?INST1 ?INTERVAL)
        (time ?INST2 ?INTERVAL)))
Merge.kif 7699-7706
(=>
    (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 328-343
(=>
    (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 1614-1623
(=>
    (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 2287-2300
(=>
    (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 12332-12345
(=>
    (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 268-282
(=>
    (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 345-361
(=>
    (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 363-378
(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))
Mid-level-ontology.kif 24269-24274
(=>
    (instance ?PHYS Physical)
    (exists (?LOC ?TIME)
        (and
            (located ?PHYS ?LOC)
            (time ?PHYS ?TIME))))
Merge.kif 805-810

consequent
-------------------------


(=>
    (and
        (attribute ?X ?ATTR)
        (instance ?ATTR AmbienceAttribute))
    (instance ?X Physical))
Dining.kif 1019-1023
(=>
    (and
        (attribute ?X Historical)
        (instance ?X City))
    (exists (?EV)
        (and
            (instance ?EV Physical)
            (attribute ?EV Historical)
            (eventLocated ?EV ?X))))
Mid-level-ontology.kif 25278-25286
(=>
    (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 3096-3111
(=>
    (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 3130-3147
(=>
    (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 3055-3079
(=>
    (and
        (instance ?REL ObjectAttitude)
        (?REL ?AGENT ?THING))
    (instance ?THING Physical))
Merge.kif 2623-2627
(=>
    (attribute ?X Historical)
    (instance ?X Physical))
Mid-level-ontology.kif 25270-25272
(=>
    (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 307-322
(=>
    (instance ?RA RepresentationalArtWork)
    (exists (?P)
        (and
            (instance ?P Physical)
            (represents ?RA ?P))))
Merge.kif 15101-15106
(=>
    (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 12318-12330
(=>
    (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 2451-2468


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners