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 834-836
(documentation Physical JapaneseLanguage "時空に位置するエンティティ。 注:場所はそれ自体時空にあると理解する。") japanese_format.kif 120-121
(documentation Physical SpanishLanguage "Una entidad que tiene ubicación en espacio-tiempo. Note que las ubicaciones se entienden tener sitio en espacio-tiempo.") spanish_format.kif 139-140
(partition Physical Object Process) Merge.kif 832-832 劃分 Physical, Object and Process
(subclass Physical Entity) Merge.kif 831-831 子類 Physical and Entity

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


(partition Entity Physical Abstract) Merge.kif 815-815 劃分 Entity, Physical and Abstract
(subclass Collection Physical) Merge.kif 1260-1260 子類 Collection and Physical
(subclass ContentBearingPhysical Physical) Merge.kif 1303-1303 子類 內容承載物理 and Physical
(subclass FinancialAsset Physical) FinancialOntology.kif 41-41 子類 金融資產 and Physical
(subclass Object Physical) Merge.kif 845-845 子類 Object and Physical
(subclass PhysicalSystem Physical) Merge.kif 6116-6116 子類 物理系統 and Physical
(subclass Process Physical) Merge.kif 1621-1621 子類 Process and Physical
(termFormat ChineseLanguage Physical "物理") chinese_format.kif 814-814 子類 Process and Physical
(termFormat EnglishLanguage Physical "physical") english_format.kif 830-830 子類 Process and Physical
(termFormat FrenchLanguage Physical "physique") french_format.kif 490-490 子類 Process and Physical
(termFormat Hindi Physical "bhOtika vaswu") terms-hindi.txt 24-24 子類 Process and Physical
(termFormat ItalianLanguage Physical "Entit�Concreta") terms-it.txt 26-26 子類 Process and Physical
(termFormat JapaneseLanguage Physical "物理") japanese_format.kif 2175-2175 子類 Process and Physical
(termFormat PortugueseLanguage Physical "Fisico") portuguese_format.kif 442-442 子類 Process and Physical
(termFormat cb Physical "sa lawas") terms-cb.txt 27-27 子類 Process and Physical
(termFormat cz Physical "fyzick� objekt") terms-cz.txt 57-57 子類 Process and Physical
(termFormat ro Physical "fizic") relations-ro.kif 511-511 子類 Process and Physical
(termFormat tg Physical "materyal") terms-tg.txt 27-27 子類 Process and Physical

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


(domain WhenFn 1 Physical) Merge.kif 8514-8514 何時, 1 and Physical
(domain WhereFn 1 Physical) Merge.kif 4222-4222 哪裡, 1 and Physical
(domain abstractCounterpart 2 Physical) Merge.kif 6107-6107 abstractCounterpart, 2 and Physical
(domain altitude 1 Physical) Merge.kif 7748-7748 高度, 1 and Physical
(domain altitude 2 Physical) Merge.kif 7749-7749 高度, 2 and Physical
(domain anniversary 1 Physical) Mid-level-ontology.kif 24501-24501 週年, 1 and Physical
(domain attitudeForObject 3 Physical) emotion.kif 2118-2118 attitudeForObject, 3 and Physical
(domain cooccur 1 Physical) Merge.kif 8435-8435 一同發生, 1 and Physical
(domain cooccur 2 Physical) Merge.kif 8436-8436 一同發生, 2 and Physical
(domain courseWRTCompassNorth 1 Physical) Geography.kif 3805-3805 courseWRT羅盤北, 1 and Physical
(domain courseWRTCompassNorth 2 Physical) Geography.kif 3806-3806 courseWRT羅盤北, 2 and Physical
(domain courseWRTMagneticNorth 1 Physical) Geography.kif 3773-3773 courseWRT北磁, 1 and Physical
(domain courseWRTMagneticNorth 2 Physical) Geography.kif 3774-3774 courseWRT北磁, 2 and Physical
(domain courseWRTTrueNorth 1 Physical) Geography.kif 3710-3710 courseWRT 真北, 1 and Physical
(domain courseWRTTrueNorth 2 Physical) Geography.kif 3711-3711 courseWRT 真北, 2 and Physical
(domain date 1 Physical) Merge.kif 8590-8590 日期, 1 and Physical
(domain dateDissolved 1 Physical) Government.kif 2517-2517 日期解散, 1 and Physical
(domain dateEstablished 1 Physical) Mid-level-ontology.kif 971-971 建立日期, 1 and Physical
(domain distance 1 Physical) Merge.kif 7726-7726 距離, 1 and Physical
(domain distance 2 Physical) Merge.kif 7727-7727 距離, 2 and Physical
(domain evidence 2 Physical) Law.kif 178-178 evidence, 2 and Physical
(domain flows 1 Physical) Geography.kif 5404-5404 流動, 1 and Physical
(domain flows 2 Physical) Geography.kif 5405-5405 流動, 2 and Physical
(domain hasPurpose 1 Physical) Merge.kif 3946-3946 有目的, 1 and Physical
(domain hasPurposeForAgent 1 Physical) Merge.kif 3962-3962 有代理人的目的, 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 30252-30261
(=>
    (and
        (holdsDuring ?INTERVAL
            (?REL ?INST1 ?INST2))
        (instance ?INST1 Physical)
        (instance ?INST2 Physical))
    (and
        (time ?INST1 ?INTERVAL)
        (time ?INST2 ?INTERVAL)))
Merge.kif 8006-8013
(=>
    (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 1416-1425
(=>
    (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 2078-2091
(=>
    (and
        (instance ?REL BinaryPredicate)
        (instance ?REL SpatialRelation)
        (instance ?OBJ1 Physical)
        (instance ?OBJ2 Physical)
        (?REL ?OBJ1 ?OBJ2))
    (overlapsTemporally
        (WhenFn ?OBJ1)
        (WhenFn ?OBJ2)))
Merge.kif 8295-8302
(=>
    (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 13040-13053
(=>
    (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))
Merge.kif 7639-7644
(=>
    (instance ?PHYS Physical)
    (exists (?LOC ?TIME)
        (and
            (located ?PHYS ?LOC)
            (time ?PHYS ?TIME))))
Merge.kif 838-843

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 26890-26898
(=>
    (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 2887-2903
(=>
    (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 2845-2870
(=>
    (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 2922-2940
(=>
    (and
        (instance ?REL ObjectAttitude)
        (?REL ?AGENT ?THING))
    (instance ?THING Physical))
Merge.kif 2715-2719
(=>
    (attribute ?X Historical)
    (instance ?X Physical))
Mid-level-ontology.kif 26882-26884
(=>
    (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 240-255
(=>
    (instance ?RA RepresentationalArtWork)
    (exists (?P)
        (and
            (instance ?P Physical)
            (represents ?RA ?P))))
Merge.kif 15924-15929
(=>
    (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 13026-13038
(=>
    (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 2242-2259


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