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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Physical

 Sigma KEE - Physical
Physical(physique)

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 835-837
(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 833-833 Physique est compl�tement d�compos� en objet + processus
(subclass Physical Entity) Merge.kif 832-832 Physique est une sous-classe de entit�

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


(partition Entity Physical Abstract) Merge.kif 816-816 Entit� est compl�tement d�compos� en physique + abstrait
(subclass Collection Physical) Merge.kif 1261-1261 Collection est une sous-classe de physique
(subclass ContentBearingPhysical Physical) Merge.kif 1304-1304 ContentBearingPhysical est une sous-classe de physique
(subclass FinancialAsset Physical) FinancialOntology.kif 41-41 FinancialAsset est une sous-classe de physique
(subclass Object Physical) Merge.kif 846-846 Objet est une sous-classe de physique
(subclass PhysicalSystem Physical) Merge.kif 6122-6122 PhysicalSystem est une sous-classe de physique
(subclass Process Physical) Merge.kif 1622-1622 Processus est une sous-classe de physique
(termFormat ChineseLanguage Physical "物理") chinese_format.kif 814-814 Processus est une sous-classe de physique
(termFormat EnglishLanguage Physical "physical") english_format.kif 830-830 Processus est une sous-classe de physique
(termFormat FrenchLanguage Physical "physique") french_format.kif 490-490 Processus est une sous-classe de physique
(termFormat Hindi Physical "bhOtika vaswu") terms-hindi.txt 24-24 Processus est une sous-classe de physique
(termFormat ItalianLanguage Physical "Entit�Concreta") terms-it.txt 26-26 Processus est une sous-classe de physique
(termFormat JapaneseLanguage Physical "物理") japanese_format.kif 2175-2175 Processus est une sous-classe de physique
(termFormat PortugueseLanguage Physical "Fisico") portuguese_format.kif 442-442 Processus est une sous-classe de physique
(termFormat cb Physical "sa lawas") terms-cb.txt 27-27 Processus est une sous-classe de physique
(termFormat cz Physical "fyzick� objekt") terms-cz.txt 57-57 Processus est une sous-classe de physique
(termFormat ro Physical "fizic") relations-ro.kif 511-511 Processus est une sous-classe de physique
(termFormat tg Physical "materyal") terms-tg.txt 27-27 Processus est une sous-classe de physique

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


(domain WhenFn 1 Physical) Merge.kif 8504-8504 Le nombre 1 argument de WhenFn est une instance de physique
(domain WhereFn 1 Physical) Merge.kif 4223-4223 Le nombre 1 argument de WhereFn est une instance de physique
(domain abstractCounterpart 2 Physical) Merge.kif 6113-6113 Le nombre 2 argument de abstractCounterpart est une instance de physique
(domain altitude 1 Physical) Merge.kif 7738-7738 Le nombre 1 argument de altitude est une instance de physique
(domain altitude 2 Physical) Merge.kif 7739-7739 Le nombre 2 argument de altitude est une instance de physique
(domain anniversary 1 Physical) Mid-level-ontology.kif 24469-24469 Le nombre 1 argument de anniversary est une instance de physique
(domain attitudeForObject 3 Physical) emotion.kif 2118-2118 Le nombre 3 argument de attitudeForObject est une instance de physique
(domain cooccur 1 Physical) Merge.kif 8425-8425 Le nombre 1 argument de cooccur est une instance de physique
(domain cooccur 2 Physical) Merge.kif 8426-8426 Le nombre 2 argument de cooccur est une instance de physique
(domain courseWRTCompassNorth 1 Physical) Geography.kif 3817-3817 Le nombre 1 argument de courseWRTCompassNorth est une instance de physique
(domain courseWRTCompassNorth 2 Physical) Geography.kif 3818-3818 Le nombre 2 argument de courseWRTCompassNorth est une instance de physique
(domain courseWRTMagneticNorth 1 Physical) Geography.kif 3785-3785 Le nombre 1 argument de courseWRTMagneticNorth est une instance de physique
(domain courseWRTMagneticNorth 2 Physical) Geography.kif 3786-3786 Le nombre 2 argument de courseWRTMagneticNorth est une instance de physique
(domain courseWRTTrueNorth 1 Physical) Geography.kif 3722-3722 Le nombre 1 argument de courseWRTTrueNorth est une instance de physique
(domain courseWRTTrueNorth 2 Physical) Geography.kif 3723-3723 Le nombre 2 argument de courseWRTTrueNorth est une instance de physique
(domain date 1 Physical) Merge.kif 8580-8580 Le nombre 1 argument de date est une instance de physique
(domain dateDissolved 1 Physical) Government.kif 2519-2519 Le nombre 1 argument de dateDissolved est une instance de physique
(domain dateEstablished 1 Physical) Mid-level-ontology.kif 971-971 Le nombre 1 argument de dateEstablished est une instance de physique
(domain distance 1 Physical) Merge.kif 7716-7716 Le nombre 1 argument de distance est une instance de physique
(domain distance 2 Physical) Merge.kif 7717-7717 Le nombre 2 argument de distance est une instance de physique
(domain evidence 2 Physical) Law.kif 178-178 Le nombre 2 argument de evidence est une instance de physique
(domain flows 1 Physical) Geography.kif 5428-5428 Le nombre 1 argument de flows est une instance de physique
(domain flows 2 Physical) Geography.kif 5429-5429 Le nombre 2 argument de flows est une instance de physique
(domain hasPurpose 1 Physical) Merge.kif 3946-3946 Le nombre 1 argument de hasPurpose est une instance de physique
(domain hasPurposeForAgent 1 Physical) Merge.kif 3962-3962 Le nombre 1 argument de hasPurposeForAgent est une instance de physique

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 30220-30229
(=>
    (and
        (holdsDuring ?INTERVAL
            (?REL ?INST1 ?INST2))
        (instance ?INST1 Physical)
        (instance ?INST2 Physical))
    (and
        (time ?INST1 ?INTERVAL)
        (time ?INST2 ?INTERVAL)))		 Merge.kif 7996-8003
(=>
    (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 8285-8292
(=>
    (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 13030-13043
(=>
    (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 7625-7630
(=>
    (instance ?PHYS Physical)
    (exists (?LOC ?TIME)
        (and
            (located ?PHYS ?LOC)
            (time ?PHYS ?TIME))))		 Merge.kif 839-844

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 26858-26866
(=>
    (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 26850-26852
(=>
    (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 15918-15923
(=>
    (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 13016-13028
(=>
    (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