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 partition Physical, Object and Process
(subclass Physical Entity) Merge.kif 798-798 subclass Physical and Entity

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


(partition Entity Physical Abstract) Merge.kif 782-782 partition Entity, Physical and Abstract
(subclass ContentBearingPhysical Physical) Merge.kif 1203-1203 subclass ContentBearingPhysical and Physical
(subclass FinancialAsset Physical) FinancialOntology.kif 41-41 subclass FinancialAsset and Physical
(subclass Object Physical) Merge.kif 812-812 subclass Object and Physical
(subclass PhysicalSystem Physical) Merge.kif 5686-5686 subclass PhysicalSystem and Physical
(subclass Process Physical) Merge.kif 1529-1529 subclass Process and Physical
(termFormat ChineseLanguage Physical "物理") chinese_format.kif 814-814 termFormat ChineseLanguage, Physical and "物理"
(termFormat EnglishLanguage Physical "physical") english_format.kif 835-835 termFormat EnglishLanguage, Physical and "physical"

appearance as argument number 3
-------------------------


(domain WhenFn 1 Physical) Merge.kif 7803-7803 domain WhenFn, 1 and Physical
(domain WhereFn 1 Physical) Merge.kif 3949-3949 domain WhereFn, 1 and Physical
(domain abstractCounterpart 2 Physical) Merge.kif 5677-5677 domain abstractCounterpart, 2 and Physical
(domain altitude 1 Physical) Merge.kif 7179-7179 domain altitude, 1 and Physical
(domain altitude 2 Physical) Merge.kif 7180-7180 domain altitude, 2 and Physical
(domain anniversary 1 Physical) Mid-level-ontology.kif 21942-21942 domain anniversary, 1 and Physical
(domain attitudeForObject 3 Physical) emotion.kif 2017-2017 domain attitudeForObject, 3 and Physical
(domain cooccur 1 Physical) Merge.kif 7728-7728 domain cooccur, 1 and Physical
(domain cooccur 2 Physical) Merge.kif 7729-7729 domain cooccur, 2 and Physical
(domain courseWRTCompassNorth 1 Physical) Geography.kif 3652-3652 domain courseWRTCompassNorth, 1 and Physical
(domain courseWRTCompassNorth 2 Physical) Geography.kif 3653-3653 domain courseWRTCompassNorth, 2 and Physical
(domain courseWRTMagneticNorth 1 Physical) Geography.kif 3623-3623 domain courseWRTMagneticNorth, 1 and Physical
(domain courseWRTMagneticNorth 2 Physical) Geography.kif 3624-3624 domain courseWRTMagneticNorth, 2 and Physical
(domain courseWRTTrueNorth 1 Physical) Geography.kif 3560-3560 domain courseWRTTrueNorth, 1 and Physical
(domain courseWRTTrueNorth 2 Physical) Geography.kif 3561-3561 domain courseWRTTrueNorth, 2 and Physical
(domain date 1 Physical) Merge.kif 7880-7880 domain date, 1 and Physical
(domain dateDissolved 1 Physical) Government.kif 2496-2496 domain dateDissolved, 1 and Physical
(domain dateEstablished 1 Physical) Mid-level-ontology.kif 1359-1359 domain dateEstablished, 1 and Physical
(domain distance 1 Physical) Merge.kif 7158-7158 domain distance, 1 and Physical
(domain distance 2 Physical) Merge.kif 7159-7159 domain distance, 2 and Physical
(domain evidence 2 Physical) Law.kif 221-221 domain evidence, 2 and Physical
(domain flows 1 Physical) Geography.kif 5106-5106 domain flows, 1 and Physical
(domain flows 2 Physical) Geography.kif 5107-5107 domain flows, 2 and Physical
(domain hasPurpose 1 Physical) Merge.kif 3681-3681 domain hasPurpose, 1 and Physical
(domain hasPurposeForAgent 1 Physical) Merge.kif 3697-3697 domain hasPurposeForAgent, 1 and Physical

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 28122-28131
(=>
    (and
        (holdsDuring ?INTERVAL
            (?REL ?INST1 ?INST2))
        (instance ?INST1 Physical)
        (instance ?INST2 Physical))
    (and
        (time ?INST1 ?INTERVAL)
        (time ?INST2 ?INTERVAL)))		 Merge.kif 7428-7435
(=>
    (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 1611-1620
(=>
    (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 2282-2295
(=>
    (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 11920-11933
(=>
    (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 ?TIMEINT
        (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))		 Mid-level-ontology.kif 23497-23502
(=>
    (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 1016-1020
(=>
    (and
        (attribute ?X Historical)
        (instance ?X City))
    (exists (?EV)
        (and
            (instance ?EV Physical)
            (attribute ?EV Historical)
            (eventLocated ?EV ?X))))		 Mid-level-ontology.kif 24701-24709
(=>
    (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 3091-3106
(=>
    (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 3125-3142
(=>
    (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 3050-3074
(=>
    (and
        (instance ?REL ObjectAttitude)
        (?REL ?AGENT ?THING))
    (instance ?THING Physical))		 Merge.kif 2616-2620
(=>
    (attribute ?X Historical)
    (instance ?X Physical))		 Mid-level-ontology.kif 24693-24695
(=>
    (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 305-320
(=>
    (instance ?RA RepresentationalArtWork)
    (exists (?P)
        (and
            (instance ?P Physical)
            (represents ?RA ?P))))		 Merge.kif 14600-14605
(=>
    (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 11906-11918
(=>
    (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 2446-2463


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners