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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Physical

Sigma KEE - Physical
Physical(physical)Coriolis_effect, aversive_stimulus, bandwagon_effect, butterfly_effect, common_nuisance, concrete, domino_effect, emanation, export, exportation, import, importation, knock-on_effect, material, natural_order, perturbation, phenomenon, physical, physical_entity, placebo_effect, plague, position_effect, public_nuisance, pulsation, space-time, space-time_continuum, spaciotemporal, spatiotemporal

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 Physical is exhaustively partitioned into object and process
(subclass Physical Entity) Merge.kif 832-832 Physical is a subclass of entity

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


(partition Entity Physical Abstract) Merge.kif 816-816 Entity is exhaustively partitioned into physical and abstract
(subclass ContentBearingPhysical Physical) Merge.kif 1304-1304 Content bearing physical is a subclass of physical
(subclass FinancialAsset Physical) FinancialOntology.kif 41-41 Financial asset is a subclass of physical
(subclass Object Physical) Merge.kif 846-846 Object is a subclass of physical
(subclass PhysicalSystem Physical) Merge.kif 6107-6107 Physical system is a subclass of physical
(subclass Process Physical) Merge.kif 1609-1609 Process is a subclass of physical
(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 24-24
(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 8452-8452 The number 1 argument of when is an instance of physical
(domain WhereFn 1 Physical) Merge.kif 4209-4209 The number 1 argument of where is an instance of physical
(domain abstractCounterpart 2 Physical) Merge.kif 6098-6098 The number 2 argument of abstract counterpart is an instance of physical
(domain altitude 1 Physical) Merge.kif 7688-7688 The number 1 argument of altitude is an instance of physical
(domain altitude 2 Physical) Merge.kif 7689-7689 The number 2 argument of altitude is an instance of physical
(domain anniversary 1 Physical) Mid-level-ontology.kif 24257-24257 The number 1 argument of anniversary is an instance of physical
(domain attitudeForObject 3 Physical) emotion.kif 2120-2120 The number 3 argument of attitude for object is an instance of physical
(domain cooccur 1 Physical) Merge.kif 8373-8373 The number 1 argument of cooccur is an instance of physical
(domain cooccur 2 Physical) Merge.kif 8374-8374 The number 2 argument of cooccur is an instance of physical
(domain courseWRTCompassNorth 1 Physical) Geography.kif 3743-3743 The number 1 argument of courseWRT compass north is an instance of physical
(domain courseWRTCompassNorth 2 Physical) Geography.kif 3744-3744 The number 2 argument of courseWRT compass north is an instance of physical
(domain courseWRTMagneticNorth 1 Physical) Geography.kif 3711-3711 The number 1 argument of courseWRT magnetic north is an instance of physical
(domain courseWRTMagneticNorth 2 Physical) Geography.kif 3712-3712 The number 2 argument of courseWRT magnetic north is an instance of physical
(domain courseWRTTrueNorth 1 Physical) Geography.kif 3648-3648 The number 1 argument of courseWRT true north is an instance of physical
(domain courseWRTTrueNorth 2 Physical) Geography.kif 3649-3649 The number 2 argument of courseWRT true north is an instance of physical
(domain date 1 Physical) Merge.kif 8528-8528 The number 1 argument of date is an instance of physical
(domain dateDissolved 1 Physical) Government.kif 2555-2555 The number 1 argument of date dissolved is an instance of physical
(domain dateEstablished 1 Physical) Mid-level-ontology.kif 950-950 The number 1 argument of date established is an instance of physical
(domain distance 1 Physical) Merge.kif 7666-7666 The number 1 argument of distance is an instance of physical
(domain distance 2 Physical) Merge.kif 7667-7667 The number 2 argument of distance is an instance of physical
(domain evidence 2 Physical) Law.kif 197-197 The number 2 argument of evidence is an instance of physical
(domain flows 1 Physical) Geography.kif 5330-5330 The number 1 argument of flows is an instance of physical
(domain flows 2 Physical) Geography.kif 5331-5331 The number 2 argument of flows is an instance of physical
(domain hasPurpose 1 Physical) Merge.kif 3932-3932 The number 1 argument of has purpose is an instance of physical
(domain hasPurposeForAgent 1 Physical) Merge.kif 3948-3948 The number 1 argument of has purpose for agent is an instance of 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 30068-30077
(=>
    (and
        (holdsDuring ?INTERVAL
            (?REL ?INST1 ?INST2))
        (instance ?INST1 Physical)
        (instance ?INST2 Physical))
    (and
        (time ?INST1 ?INTERVAL)
        (time ?INST2 ?INTERVAL)))
Merge.kif 7946-7953
(=>
    (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 12875-12888
(=>
    (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 25678-25683
(=>
    (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 26692-26700
(=>
    (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 2702-2706
(=>
    (attribute ?X Historical)
    (instance ?X Physical))
Mid-level-ontology.kif 26684-26686
(=>
    (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 15756-15761
(=>
    (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 12861-12873
(=>
    (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