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 "存在时空中某位置的个体。注:位置本身应理解为,存在于某个时空 的位置。") Merge.kif 1233-1234
(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 1229-1231
(documentation Physical JapaneseLanguage "時空に位置するエンティティ。 注:場所はそれ自体時空にあると理解する。") Merge.kif 1236-1237
(documentation Physical SpanishLanguage "Una entidad que tiene ubicación en espacio-tiempo. Note que las ubicaciones se entienden tener sitio en espacio-tiempo.") Merge.kif 1239-1240
(partition Physical Object Process) Merge.kif 1227-1227 物理オブジェクト + 工程exhaustively partitioned %n
(subclass Physical Entity) Merge.kif 1226-1226 物理エンティティーsubclass では %n

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


(partition Entity Physical Abstract) Merge.kif 1204-1204 エンティティー物理 + 抽象的なexhaustively partitioned %n
(subclass ContentBearingPhysical Physical) Merge.kif 2045-2045 ContentBearingPhysical物理subclass では %n
(subclass FinancialAsset Physical) FinancialOntology.kif 41-41 FinancialAsset物理subclass では %n
(subclass Object Physical) Merge.kif 1250-1250 オブジェクト物理subclass では %n
(subclass PhysicalSystem Physical) Merge.kif 8782-8782 PhysicalSystem物理subclass では %n
(subclass Process Physical) Merge.kif 2620-2620 工程物理subclass では %n
(termFormat ChineseLanguage Physical "物理") chinese_format.kif 814-814 termFormat ChineseLanguage, 物理 and "物理"
(termFormat EnglishLanguage Physical "physical") english_format.kif 1135-1135 termFormat EnglishLanguage, 物理 and "physical"
(termFormat JapaneseLanguage Physical "物理") english_format.kif 1136-1136 termFormat JapaneseLanguage, 物理 and "物理"

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


(domain WhenFn 1 Physical) Merge.kif 11965-11965 WhenFn の数値 1 引数は 物理instance では %n
(domain WhereFn 1 Physical) Merge.kif 6308-6308 WhereFn の数値 1 引数は 物理instance では %n
(domain abstractCounterpart 2 Physical) Merge.kif 8764-8764 abstractCounterpart の数値 2 引数は 物理instance では %n
(domain altitude 1 Physical) Merge.kif 11117-11117 altitude の数値 1 引数は 物理instance では %n
(domain altitude 2 Physical) Merge.kif 11118-11118 altitude の数値 2 引数は 物理instance では %n
(domain anniversary 1 Physical) Mid-level-ontology.kif 21942-21942 anniversary の数値 1 引数は 物理instance では %n
(domain attitudeForObject 3 Physical) emotion.kif 2012-2012 attitudeForObject の数値 3 引数は 物理instance では %n
(domain cooccur 1 Physical) Merge.kif 11863-11863 cooccur の数値 1 引数は 物理instance では %n
(domain cooccur 2 Physical) Merge.kif 11864-11864 cooccur の数値 2 引数は 物理instance では %n
(domain courseWRTCompassNorth 1 Physical) Geography.kif 3639-3639 courseWRTCompassNorth の数値 1 引数は 物理instance では %n
(domain courseWRTCompassNorth 2 Physical) Geography.kif 3640-3640 courseWRTCompassNorth の数値 2 引数は 物理instance では %n
(domain courseWRTMagneticNorth 1 Physical) Geography.kif 3610-3610 courseWRTMagneticNorth の数値 1 引数は 物理instance では %n
(domain courseWRTMagneticNorth 2 Physical) Geography.kif 3611-3611 courseWRTMagneticNorth の数値 2 引数は 物理instance では %n
(domain courseWRTTrueNorth 1 Physical) Geography.kif 3547-3547 courseWRTTrueNorth の数値 1 引数は 物理instance では %n
(domain courseWRTTrueNorth 2 Physical) Geography.kif 3548-3548 courseWRTTrueNorth の数値 2 引数は 物理instance では %n
(domain date 1 Physical) Merge.kif 12074-12074 date の数値 1 引数は 物理instance では %n
(domain dateDissolved 1 Physical) Government.kif 2502-2502 dateDissolved の数値 1 引数は 物理instance では %n
(domain dateEstablished 1 Physical) Mid-level-ontology.kif 1364-1364 dateEstablished の数値 1 引数は 物理instance では %n
(domain distance 1 Physical) Merge.kif 11087-11087 distance の数値 1 引数は 物理instance では %n
(domain distance 2 Physical) Merge.kif 11088-11088 distance の数値 2 引数は 物理instance では %n
(domain evidence 2 Physical) Law.kif 220-220 evidence の数値 2 引数は 物理instance では %n
(domain flows 1 Physical) Geography.kif 5092-5092 flows の数値 1 引数は 物理instance では %n
(domain flows 2 Physical) Geography.kif 5093-5093 flows の数値 2 引数は 物理instance では %n
(domain hasPurpose 1 Physical) Merge.kif 5929-5929 hasPurpose の数値 1 引数は 物理instance では %n
(domain hasPurposeForAgent 1 Physical) Merge.kif 5961-5961 hasPurposeForAgent の数値 1 引数は 物理instance では %n

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 28130-28139
(=>
    (and
        (holdsDuring ?INTERVAL
            (?REL ?INST1 ?INST2))
        (instance ?INST1 Physical)
        (instance ?INST2 Physical))
    (and
        (time ?INST1 ?INTERVAL)
        (time ?INST2 ?INTERVAL)))
Merge.kif 11479-11486
(=>
    (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 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 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 17290-17303
(=>
    (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 ?TIMTEINT
        (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 1243-1248

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


(=>
    (and
        (attribute ?X ?ATTR)
        (instance ?ATTR AmbienceAttribute))
    (instance ?X Physical))
Dining.kif 1020-1024
(=>
    (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 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 4392-4396
(=>
    (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 307-322
(=>
    (instance ?RA RepresentationalArtWork)
    (exists (?P)
        (and
            (instance ?P Physical)
            (represents ?RA ?P))))
Merge.kif 20401-20406
(=>
    (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 17276-17288
(=>
    (instance ?VIEW View)
    (exists (?ENTITY)
        (and
            (instance ?ENTITY Physical)
            (represents ?VIEW ?ENTITY))))
Dining.kif 900-905
(=>
    (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 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