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 829-831
(partition Physical Object Process) Merge.kif 827-827 物理 详尽无遗地 partition客体过程
(subclass Physical Entity) Merge.kif 826-826 物理实体subclass

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


(partition Entity Physical Abstract) Merge.kif 810-810 实体 详尽无遗地 partition物理抽象体
(subclass ContentBearingPhysical Physical) Merge.kif 1276-1276 内容承载物理物理subclass
(subclass FinancialAsset Physical) FinancialOntology.kif 41-41 金融资产物理subclass
(subclass Object Physical) Merge.kif 840-840 客体物理subclass
(subclass PhysicalSystem Physical) Merge.kif 6060-6060 物理系统物理subclass
(subclass Process Physical) Merge.kif 1581-1581 过程物理subclass
(termFormat ChineseLanguage Physical "物理") chinese_format.kif 814-814
(termFormat EnglishLanguage Physical "physical") english_format.kif 830-830

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


(domain WhenFn 1 Physical) Merge.kif 8405-8405 何时函数 的 1 数量 是 物理instance
(domain WhereFn 1 Physical) Merge.kif 4163-4163 表示位置的函数 的 1 数量 是 物理instance
(domain abstractCounterpart 2 Physical) Merge.kif 6051-6051 abstractCounterpart 的 2 数量 是 物理instance
(domain altitude 1 Physical) Merge.kif 7641-7641 海拔 的 1 数量 是 物理instance
(domain altitude 2 Physical) Merge.kif 7642-7642 海拔 的 2 数量 是 物理instance
(domain anniversary 1 Physical) Mid-level-ontology.kif 24122-24122 周年 的 1 数量 是 物理instance
(domain attitudeForObject 3 Physical) emotion.kif 2120-2120 attitudeForObject 的 3 数量 是 物理instance
(domain cooccur 1 Physical) Merge.kif 8326-8326 同时发生 的 1 数量 是 物理instance
(domain cooccur 2 Physical) Merge.kif 8327-8327 同时发生 的 2 数量 是 物理instance
(domain courseWRTCompassNorth 1 Physical) Geography.kif 3750-3750 courseWRT罗盘北 的 1 数量 是 物理instance
(domain courseWRTCompassNorth 2 Physical) Geography.kif 3751-3751 courseWRT罗盘北 的 2 数量 是 物理instance
(domain courseWRTMagneticNorth 1 Physical) Geography.kif 3718-3718 courseWRT北磁 的 1 数量 是 物理instance
(domain courseWRTMagneticNorth 2 Physical) Geography.kif 3719-3719 courseWRT北磁 的 2 数量 是 物理instance
(domain courseWRTTrueNorth 1 Physical) Geography.kif 3655-3655 courseWRT 真北 的 1 数量 是 物理instance
(domain courseWRTTrueNorth 2 Physical) Geography.kif 3656-3656 courseWRT 真北 的 2 数量 是 物理instance
(domain date 1 Physical) Merge.kif 8481-8481 日期 的 1 数量 是 物理instance
(domain dateDissolved 1 Physical) Government.kif 2555-2555 日期解散 的 1 数量 是 物理instance
(domain dateEstablished 1 Physical) Mid-level-ontology.kif 945-945 建立日期 的 1 数量 是 物理instance
(domain distance 1 Physical) Merge.kif 7619-7619 距离 的 1 数量 是 物理instance
(domain distance 2 Physical) Merge.kif 7620-7620 距离 的 2 数量 是 物理instance
(domain evidence 2 Physical) Law.kif 221-221 evidence 的 2 数量 是 物理instance
(domain flows 1 Physical) Geography.kif 5337-5337 流动 的 1 数量 是 物理instance
(domain flows 2 Physical) Geography.kif 5338-5338 流动 的 2 数量 是 物理instance
(domain hasPurpose 1 Physical) Merge.kif 3895-3895 意图 的 1 数量 是 物理instance
(domain hasPurposeForAgent 1 Physical) Merge.kif 3911-3911 主事的意图 的 1 数量 是 物理instance

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 29878-29887
(=>
    (and
        (holdsDuring ?INTERVAL
            (?REL ?INST1 ?INST2))
        (instance ?INST1 Physical)
        (instance ?INST2 Physical))
    (and
        (time ?INST1 ?INTERVAL)
        (time ?INST2 ?INTERVAL)))
Merge.kif 7899-7906
(=>
    (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 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 12846-12859
(=>
    (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))
Mid-level-ontology.kif 25488-25493
(=>
    (instance ?PHYS Physical)
    (exists (?LOC ?TIME)
        (and
            (located ?PHYS ?LOC)
            (time ?PHYS ?TIME))))
Merge.kif 833-838

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 26502-26510
(=>
    (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 3093-3109
(=>
    (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 3051-3076
(=>
    (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 3128-3146
(=>
    (and
        (instance ?REL ObjectAttitude)
        (?REL ?AGENT ?THING))
    (instance ?THING Physical))
Merge.kif 2674-2678
(=>
    (attribute ?X Historical)
    (instance ?X Physical))
Mid-level-ontology.kif 26494-26496
(=>
    (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 307-322
(=>
    (instance ?RA RepresentationalArtWork)
    (exists (?P)
        (and
            (instance ?P Physical)
            (represents ?RA ?P))))
Merge.kif 15725-15730
(=>
    (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 12832-12844
(=>
    (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 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