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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Physical

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 1202-1202 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 5817-5817 subclass PhysicalSystem and Physical
(subclass Process Physical) Merge.kif 1531-1531 subclass Process and Physical
(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 7941-7941 domain WhenFn, 1 and Physical
(domain WhereFn 1 Physical) Merge.kif 4075-4075 domain WhereFn, 1 and Physical
(domain abstractCounterpart 2 Physical) Merge.kif 5808-5808 domain abstractCounterpart, 2 and Physical
(domain altitude 1 Physical) Merge.kif 7315-7315 domain altitude, 1 and Physical
(domain altitude 2 Physical) Merge.kif 7316-7316 domain altitude, 2 and Physical
(domain anniversary 1 Physical) Mid-level-ontology.kif 21985-21985 domain anniversary, 1 and Physical
(domain attitudeForObject 3 Physical) emotion.kif 2018-2018 domain attitudeForObject, 3 and Physical
(domain cooccur 1 Physical) Merge.kif 7866-7866 domain cooccur, 1 and Physical
(domain cooccur 2 Physical) Merge.kif 7867-7867 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 8018-8018 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 1365-1365 domain dateEstablished, 1 and Physical
(domain distance 1 Physical) Merge.kif 7293-7293 domain distance, 1 and Physical
(domain distance 2 Physical) Merge.kif 7294-7294 domain distance, 2 and Physical
(domain evidence 2 Physical) Law.kif 221-221 domain evidence, 2 and Physical
(domain flows 1 Physical) Geography.kif 5121-5121 domain flows, 1 and Physical
(domain flows 2 Physical) Geography.kif 5122-5122 domain flows, 2 and Physical
(domain hasPurpose 1 Physical) Merge.kif 3807-3807 domain hasPurpose, 1 and Physical
(domain hasPurposeForAgent 1 Physical) Merge.kif 3823-3823 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 28167-28176
(=>
    (and
        (holdsDuring ?INTERVAL
            (?REL ?INST1 ?INST2))
        (instance ?INST1 Physical)
        (instance ?INST2 Physical))
    (and
        (time ?INST1 ?INTERVAL)
        (time ?INST2 ?INTERVAL)))
Merge.kif 7565-7572
(=>
    (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 1613-1622
(=>
    (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 2284-2297
(=>
    (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 12058-12071
(=>
    (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 23540-23545
(=>
    (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 24744-24752
(=>
    (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 3093-3108
(=>
    (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 3127-3144
(=>
    (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 3052-3076
(=>
    (and
        (instance ?REL ObjectAttitude)
        (?REL ?AGENT ?THING))
    (instance ?THING Physical))
Merge.kif 2621-2625
(=>
    (attribute ?X Historical)
    (instance ?X Physical))
Mid-level-ontology.kif 24736-24738
(=>
    (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 14738-14743
(=>
    (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 12044-12056
(=>
    (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 2448-2465


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

Show without tree


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