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

Formal Language: 


KB Term:  Term intersection
English Word: 

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

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


(partition Entity Physical Abstract) Merge.kif 809-809 Entity is exhaustively partitioned into physical and abstract
(subclass Collection Physical) Merge.kif 1271-1271 Collection is a subclass of physical
(subclass ContentBearingPhysical Physical) Merge.kif 1314-1314 Content bearing physical is a subclass of physical
(subclass FinancialAsset Physical) FinancialOntology.kif 43-43 Financial asset is a subclass of physical
(subclass Object Physical) Merge.kif 839-839 Object is a subclass of physical
(subclass PhysicalSystem Physical) Merge.kif 6146-6146 Physical system is a subclass of physical
(subclass Process Physical) Merge.kif 1632-1632 Process is a subclass of physical
(termFormat ChineseLanguage Physical "物理") chinese_format.kif 814-814 Process is a subclass of physical
(termFormat EnglishLanguage Physical "physical") english_format.kif 830-830 Process is a subclass of physical
(termFormat FrenchLanguage Physical "physique") french_format.kif 490-490 Process is a subclass of physical
(termFormat Hindi Physical "bhOtika vaswu") terms-hindi.txt 24-24 Process is a subclass of physical
(termFormat ItalianLanguage Physical "Entit�Concreta") terms-it.txt 26-26 Process is a subclass of physical
(termFormat JapaneseLanguage Physical "物理") japanese_format.kif 2175-2175 Process is a subclass of physical
(termFormat PortugueseLanguage Physical "Fisico") portuguese_format.kif 442-442 Process is a subclass of physical
(termFormat cb Physical "sa lawas") terms-cb.txt 27-27 Process is a subclass of physical
(termFormat cz Physical "fyzick� objekt") terms-cz.txt 57-57 Process is a subclass of physical
(termFormat de Physical "koerperlicher Gegenstand") terms-de.txt 316-316 Process is a subclass of physical
(termFormat ro Physical "fizic") relations-ro.kif 511-511 Process is a subclass of physical
(termFormat tg Physical "materyal") terms-tg.txt 27-27 Process is a subclass of physical

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


(domain WhenFn 1 Physical) Merge.kif 8581-8581 The number 1 argument of when is an instance of physical
(domain WhereFn 1 Physical) Merge.kif 4250-4250 The number 1 argument of where is an instance of physical
(domain abstractCounterpart 2 Physical) Merge.kif 6137-6137 The number 2 argument of abstract counterpart is an instance of physical
(domain age 1 Physical) Merge.kif 7563-7563 The number 1 argument of age is an instance of physical
(domain altitude 1 Physical) Merge.kif 7784-7784 The number 1 argument of altitude is an instance of physical
(domain altitude 2 Physical) Merge.kif 7785-7785 The number 2 argument of altitude is an instance of physical
(domain anniversary 1 Physical) Mid-level-ontology.kif 25827-25827 The number 1 argument of anniversary is an instance of physical
(domain attitudeForObject 3 Physical) emotion.kif 2118-2118 The number 3 argument of attitude for object is an instance of physical
(domain cooccur 1 Physical) Merge.kif 8502-8502 The number 1 argument of cooccur is an instance of physical
(domain cooccur 2 Physical) Merge.kif 8503-8503 The number 2 argument of cooccur is an instance of physical
(domain courseWRTCompassNorth 1 Physical) Geography.kif 4068-4068 The number 1 argument of courseWRT compass north is an instance of physical
(domain courseWRTCompassNorth 2 Physical) Geography.kif 4069-4069 The number 2 argument of courseWRT compass north is an instance of physical
(domain courseWRTMagneticNorth 1 Physical) Geography.kif 4036-4036 The number 1 argument of courseWRT magnetic north is an instance of physical
(domain courseWRTMagneticNorth 2 Physical) Geography.kif 4037-4037 The number 2 argument of courseWRT magnetic north is an instance of physical
(domain courseWRTTrueNorth 1 Physical) Geography.kif 3880-3880 The number 1 argument of courseWRT true north is an instance of physical
(domain courseWRTTrueNorth 2 Physical) Geography.kif 3881-3881 The number 2 argument of courseWRT true north is an instance of physical
(domain date 1 Physical) Merge.kif 8657-8657 The number 1 argument of date is an instance of physical
(domain dateDissolved 1 Physical) Government.kif 2516-2516 The number 1 argument of date dissolved is an instance of physical
(domain dateEstablished 1 Physical) Mid-level-ontology.kif 971-971 The number 1 argument of date established is an instance of physical
(domain depth 1 Physical) Merge.kif 7808-7808 The number 1 argument of depth is an instance of physical
(domain depth 2 Physical) Merge.kif 7809-7809 The number 2 argument of depth is an instance of physical
(domain distance 1 Physical) Merge.kif 7762-7762 The number 1 argument of distance is an instance of physical
(domain distance 2 Physical) Merge.kif 7763-7763 The number 2 argument of distance is an instance of physical
(domain evidence 2 Physical) Law.kif 178-178 The number 2 argument of evidence is an instance of physical
(domain exactlyLocated 1 Physical) Merge.kif 4156-4156 The number 1 argument of exactly located 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 31855-31864
(=>
    (and
        (holdsDuring ?INTERVAL
            (?REL ?INST1 ?INST2))
        (instance ?INST1 Physical)
        (instance ?INST2 Physical))
    (and
        (time ?INST1 ?INTERVAL)
        (time ?INST2 ?INTERVAL)))
Merge.kif 8045-8052
(=>
    (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 8362-8369
(=>
    (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 13138-13151
(=>
    (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 7675-7680
(=>
    (instance ?PHYS Physical)
    (exists (?LOC ?TIME)
        (and
            (located ?PHYS ?LOC)
            (time ?PHYS ?TIME))))
Merge.kif 832-837
(=>
    (instance ?PHYSICAL Physical)
    (exists (?LIFESPAN ?BEGINMOMENT ?NASCENTDURATION ?NASCENT)
        (and
            (equal ?LIFESPAN
                (WhenFn ?PHYSICAL))
            (equal ?BEGINMOMENT
                (BeginFn ?LIFESPAN))
            (equal ?NASCENTDURATION
                (ImmediateFutureFn ?BEGINMOMENT))
            (holdsDuring ?NASCENTDURATION
                (attribute ?PHYSICAL ?NASCENT)))))
Mid-level-ontology.kif 33782-33790
(=>
    (instance ?PHYSICAL Physical)
    (exists (?LIFESPAN ?ENDMOMENT ?MORIBUNDDURATION ?MORIBUND)
        (and
            (equal ?LIFESPAN
                (WhenFn ?PHYSICAL))
            (equal ?ENDMOMENT
                (EndFn ?LIFESPAN))
            (equal ?MORIBUNDDURATION
                (ImmediatePastFn ?ENDMOMENT))
            (holdsDuring ?MORIBUNDDURATION
                (attribute ?PHYSICAL ?MORIBUND)))))
Mid-level-ontology.kif 33798-33806

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 28493-28501
(=>
    (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 2726-2730
(=>
    (attribute ?ORG Greedy)
    (exists (?OBJ)
        (and
            (instance ?ORG Organism)
            (instance ?OBJ Physical)
            (desires ?ORG
                (possesses ?ORG ?OBJ))
            (not
                (modalAttribute
                    (possesses ?ORG ?OBJ) Necessity)))))
Mid-level-ontology.kif 21401-21409
(=>
    (attribute ?X Historical)
    (instance ?X Physical))
Mid-level-ontology.kif 28485-28487
(=>
    (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 16022-16027
(=>
    (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 13124-13136
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners