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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Physical

 Sigma KEE - Physical
Physical(Entit�Concreta)

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 Entit�Concreta è esaustivamente partizionato in Oggetto + Processo
(subclass Physical Entity) Merge.kif 832-832 Entit�Concreta è una sottoclasse di Entit�

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


(partition Entity Physical Abstract) Merge.kif 816-816 Entit� è esaustivamente partizionato in Entit�Concreta + Astratto
(subclass ContentBearingPhysical Physical) Merge.kif 1304-1304 ContentBearingPhysical è una sottoclasse di Entit�Concreta
(subclass FinancialAsset Physical) FinancialOntology.kif 41-41 FinancialAsset è una sottoclasse di Entit�Concreta
(subclass Object Physical) Merge.kif 846-846 Oggetto è una sottoclasse di Entit�Concreta
(subclass PhysicalSystem Physical) Merge.kif 6121-6121 PhysicalSystem è una sottoclasse di Entit�Concreta
(subclass Process Physical) Merge.kif 1622-1622 Processo è una sottoclasse di Entit�Concreta
(termFormat ChineseLanguage Physical "物理") chinese_format.kif 814-814
(termFormat EnglishLanguage Physical "physical") english_format.kif 830-830
(termFormat FrenchLanguage Physical "physique") french_format.kif 490-490
(termFormat Hindi Physical "bhOtika vaswu") terms-hindi.txt 24-24
(termFormat ItalianLanguage Physical "Entit�Concreta") terms-it.txt 26-26
(termFormat JapaneseLanguage Physical "物理") japanese_format.kif 2175-2175
(termFormat PortugueseLanguage Physical "Fisico") portuguese_format.kif 442-442
(termFormat cb Physical "sa lawas") terms-cb.txt 27-27
(termFormat cz Physical "fyzick� objekt") terms-cz.txt 57-57
(termFormat ro Physical "fizic") relations-ro.kif 511-511
(termFormat tg Physical "materyal") terms-tg.txt 27-27

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


(domain WhenFn 1 Physical) Merge.kif 8490-8490 Il numero 1 argomenti di WhenFn è un istanza di Entit�Concreta
(domain WhereFn 1 Physical) Merge.kif 4222-4222 Il numero 1 argomenti di WhereFn è un istanza di Entit�Concreta
(domain abstractCounterpart 2 Physical) Merge.kif 6112-6112 Il numero 2 argomenti di abstractCounterpart è un istanza di Entit�Concreta
(domain altitude 1 Physical) Merge.kif 7724-7724 Il numero 1 argomenti di altitude è un istanza di Entit�Concreta
(domain altitude 2 Physical) Merge.kif 7725-7725 Il numero 2 argomenti di altitude è un istanza di Entit�Concreta
(domain anniversary 1 Physical) Mid-level-ontology.kif 24180-24180 Il numero 1 argomenti di anniversary è un istanza di Entit�Concreta
(domain attitudeForObject 3 Physical) emotion.kif 2120-2120 Il numero 3 argomenti di attitudeForObject è un istanza di Entit�Concreta
(domain cooccur 1 Physical) Merge.kif 8411-8411 Il numero 1 argomenti di cooccur è un istanza di Entit�Concreta
(domain cooccur 2 Physical) Merge.kif 8412-8412 Il numero 2 argomenti di cooccur è un istanza di Entit�Concreta
(domain courseWRTCompassNorth 1 Physical) Geography.kif 3817-3817 Il numero 1 argomenti di courseWRTCompassNorth è un istanza di Entit�Concreta
(domain courseWRTCompassNorth 2 Physical) Geography.kif 3818-3818 Il numero 2 argomenti di courseWRTCompassNorth è un istanza di Entit�Concreta
(domain courseWRTMagneticNorth 1 Physical) Geography.kif 3785-3785 Il numero 1 argomenti di courseWRTMagneticNorth è un istanza di Entit�Concreta
(domain courseWRTMagneticNorth 2 Physical) Geography.kif 3786-3786 Il numero 2 argomenti di courseWRTMagneticNorth è un istanza di Entit�Concreta
(domain courseWRTTrueNorth 1 Physical) Geography.kif 3722-3722 Il numero 1 argomenti di courseWRTTrueNorth è un istanza di Entit�Concreta
(domain courseWRTTrueNorth 2 Physical) Geography.kif 3723-3723 Il numero 2 argomenti di courseWRTTrueNorth è un istanza di Entit�Concreta
(domain date 1 Physical) Merge.kif 8566-8566 Il numero 1 argomenti di date è un istanza di Entit�Concreta
(domain dateDissolved 1 Physical) Government.kif 2555-2555 Il numero 1 argomenti di dateDissolved è un istanza di Entit�Concreta
(domain dateEstablished 1 Physical) Mid-level-ontology.kif 978-978 Il numero 1 argomenti di dateEstablished è un istanza di Entit�Concreta
(domain distance 1 Physical) Merge.kif 7702-7702 Il numero 1 argomenti di distance è un istanza di Entit�Concreta
(domain distance 2 Physical) Merge.kif 7703-7703 Il numero 2 argomenti di distance è un istanza di Entit�Concreta
(domain evidence 2 Physical) Law.kif 178-178 Il numero 2 argomenti di evidence è un istanza di Entit�Concreta
(domain flows 1 Physical) Geography.kif 5428-5428 Il numero 1 argomenti di flows è un istanza di Entit�Concreta
(domain flows 2 Physical) Geography.kif 5429-5429 Il numero 2 argomenti di flows è un istanza di Entit�Concreta
(domain hasPurpose 1 Physical) Merge.kif 3945-3945 Il numero 1 argomenti di hasPurpose è un istanza di Entit�Concreta
(domain hasPurposeForAgent 1 Physical) Merge.kif 3961-3961 Il numero 1 argomenti di hasPurposeForAgent è un istanza di Entit�Concreta

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 29951-29960
(=>
    (and
        (holdsDuring ?INTERVAL
            (?REL ?INST1 ?INST2))
        (instance ?INST1 Physical)
        (instance ?INST2 Physical))
    (and
        (time ?INST1 ?INTERVAL)
        (time ?INST2 ?INTERVAL)))		 Merge.kif 7982-7989
(=>
    (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 8271-8278
(=>
    (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 13006-13019
(=>
    (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 25579-25584
(=>
    (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 26582-26590
(=>
    (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 26574-26576
(=>
    (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 15894-15899
(=>
    (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 12992-13004
(=>
    (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