Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Physical Entity) Merge.kif 824-824 Physical is a subclass of entity
(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 827-829 Physical is a subclass of entity

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


(partition Entity Physical Abstract) Merge.kif 808-808 Entity is exhaustively partitioned into physical and abstract
(subclass Object Physical) Merge.kif 838-838 Object is a subclass of physical
(subclass Collection Physical) Merge.kif 1334-1334 Collection is a subclass of physical
(subclass ContentBearingPhysical Physical) Merge.kif 1394-1394 Content bearing physical is a subclass of physical
(subclass Process Physical) Merge.kif 1715-1715 Process is a subclass of physical
(subclass PhysicalSystem Physical) Merge.kif 6240-6240 Physical system is a subclass of physical
(subclass FinancialAsset Physical) FinancialOntology.kif 43-43 Financial asset is a subclass of physical
(termFormat EnglishLanguage Physical "physical") english_format.kif 830-830 Financial asset is a subclass of physical

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


(domain member 1 Physical) Merge.kif 1353-1353 The number 1 argument of member is an instance of physical
(domain needs 2 Physical) Merge.kif 2861-2861 The number 2 argument of needs is an instance of physical
(domain wants 2 Physical) Merge.kif 2875-2875 The number 2 argument of wants is an instance of physical
(domain time 1 Physical) Merge.kif 3969-3969 The number 1 argument of time is an instance of physical
(domain hasPurpose 1 Physical) Merge.kif 4049-4049 The number 1 argument of has purpose is an instance of physical
(domain hasPurposeForAgent 1 Physical) Merge.kif 4065-4065 The number 1 argument of has purpose for agent is an instance of physical
(domain partlyLocated 1 Physical) Merge.kif 4151-4151 The number 1 argument of partly located is an instance of physical
(domain located 1 Physical) Merge.kif 4181-4181 The number 1 argument of located is an instance of physical
(domain exactlyLocated 1 Physical) Merge.kif 4243-4243 The number 1 argument of exactly located is an instance of physical
(domain WhereFn 1 Physical) Merge.kif 4337-4337 The number 1 argument of where is an instance of physical
(domain abstractCounterpart 2 Physical) Merge.kif 6231-6231 The number 2 argument of abstract counterpart is an instance of physical
(domain systemPart 1 Physical) Merge.kif 6254-6254 The number 1 argument of system part is an instance of physical
(domain measure 1 Physical) Merge.kif 7639-7639 The number 1 argument of measure is an instance of physical
(domain age 1 Physical) Merge.kif 7656-7656 The number 1 argument of age is an instance of physical
(domain linearExtent 1 Physical) Merge.kif 7670-7670 The number 1 argument of linear extent is an instance of physical
(domain width 1 Physical) Merge.kif 7683-7683 The number 1 argument of width is an instance of physical
(domain length 1 Physical) Merge.kif 7699-7699 The number 1 argument of length is an instance of physical
(domain shape 1 Physical) Merge.kif 7764-7764 The number 1 argument of shape is an instance of physical
(domain distance 1 Physical) Merge.kif 7857-7857 The number 1 argument of distance is an instance of physical
(domain distance 2 Physical) Merge.kif 7858-7858 The number 2 argument of distance is an instance of physical
(domain altitude 1 Physical) Merge.kif 7879-7879 The number 1 argument of altitude is an instance of physical
(domain altitude 2 Physical) Merge.kif 7880-7880 The number 2 argument of altitude is an instance of physical
(domain depth 1 Physical) Merge.kif 7903-7903 The number 1 argument of depth is an instance of physical
(domain depth 2 Physical) Merge.kif 7904-7904 The number 2 argument of depth is an instance of physical
(domain monetaryValue 1 Physical) Merge.kif 7961-7961 The number 1 argument of monetary value is an instance of physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (instance ?PHYS Physical)
    (exists (?LOC ?TIME)
        (and
            (located ?PHYS ?LOC)
            (time ?PHYS ?TIME))))		 Merge.kif 831-836 If X is an instance of physical, then there exist Y, Z such that X is located at Y, and X exists during Z
(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))		 Merge.kif 7768-7773 If X the attribute Y, X is an instance of physical, and Y is an instance of shape attribute, then X is Y
(=>
    (and
        (holdsDuring ?INTERVAL
            (?REL ?INST1 ?INST2))
        (instance ?INST1 Physical)
        (instance ?INST2 Physical))
    (and
        (time ?INST1 ?INTERVAL)
        (time ?INST2 ?INTERVAL)))		 Merge.kif 8134-8141 If X Y and Z holds during W, Y is an instance of physical, and Z is an instance of physical, then Y exists during W and Z exists during W
(=>
    (and
        (instance ?REL BinaryPredicate)
        (instance ?REL SpatialRelation)
        (instance ?OBJ1 Physical)
        (instance ?OBJ2 Physical)
        (?REL ?OBJ1 ?OBJ2))
    (overlapsTemporally
        (WhenFn ?OBJ1)
        (WhenFn ?OBJ2)))		 Merge.kif 8451-8458 If X is an instance of binary predicate, X is an instance of spatial relation, Y is an instance of physical, Z is an instance of physical, and X Y and Z, then the time of existence of Z overlaps the time of existence of Y
(=>
    (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 ?AGENT
                (knows ?AGENT
                    (located ?OBJ ?LOC))))))		 Merge.kif 13282-13295 If X is an instance of searching, Y is a patient of X, and Y is an instance of physical, then there exist Z, W such that W is an instance of cognitive agent, W is an agent of X, Z is an instance of object, Y is located at Z, and X has the purpose W for W knows Y is located at Z
(=>
    (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 32562-32571 If X buys Y from Z and Y is an instance of physical, then there exists W such that W is an instance of buying, Y is a patient of W, X is an agent of W, and W originates at Z
(=>
    (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 34268-34276 If X is an instance of physical, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that equal Y (3) the time of existence of X (4) equal Z (5) the beginning of Y (6) equal W (7) immediately after Z (8) nascent is an attribute of X holds during W
(=>
    (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 34282-34290 If X is an instance of physical, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that equal Y (3) the time of existence of X (4) equal Z (5) the end of Y (6) equal W (7) immediately before Z (8) moribund is an attribute of X holds during W
(=>
    (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 If X offers items for sale in Y, Z is in Y, and Z is a subclass of physical, then the statement there exist W, V such that V is an instance of Z, W is an instance of selling, X is an agent of W, and V is a patient of W has the modal force of possibility
(=>
    (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 If All of the following hold: (1) X is an instance of buying (2) Y is a patient of X (3) X originates at Z (4) the price of W from Z according to V is U or the unit price charged Z under V for T is W (5) W is a subclass of physical (6) Y is an immediate instance of W (7) S is a valid payment under V, then the statement there exists R such that R is an instance of S and R is a subprocess of X has the modal force of likely
(=>
    (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 If the price of X from Y according to Z is W or the unit price charged Y under Z for V is X, X is a subclass of physical, U is an immediate instance of X, Z is valid for T, and S is an instance of T, then the statement R is an instance of buying, S is an agent of R, R originates at Y, and U is a patient of RW is a transaction amount of R has the modal force of likely
(=>
    (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 If the price of X from Y according to Z is W or the unit price charged Y under Z for V is X, X is a subclass of physical, U is an immediate instance of X, and Z is valid during T, then the statement S is an instance of selling, Y is an agent of S, and U is a patient of SW is a transaction amount of S has the modal force of likely holds during T
(=>
    (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 If All of the following hold: (1) X is an instance of bidding (2) Y is an instance of physical (3) Z is an instance of currency measure (4) W is an instance of W (5) X is a bid for Y (6) Z is the bid of X (7) W is an agent of X, then W bids Z for Y
(=>
    (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 2079-2092 If X is an instance of next generation view item, Y is an instance of web listing, Y is a component of X, Z is a patient of Y, and Z is an instance of physical, then there exist W, V, U such that V is an instance of stating, W is a patient of V, W includes a reference to Z, U is a result of W, and U is a part of X

consequent
-------------------------


(=>
    (and
        (instance ?REL ObjectAttitude)
        (?REL ?AGENT ?THING))
    (instance ?THING Physical))		 Merge.kif 2824-2828 If X is an instance of object attitude and X Y and Z, then Z is an instance of physical
(=>
    (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 ?AGENT
                (knows ?AGENT
                    (located ?OBJ ?LOC))))))		 Merge.kif 13268-13280 If X is an instance of searching, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of cognitive agent (3) Y is an agent of X (4) Z is an instance of physical (5) Z is a patient of X (6) W is an instance of object (7) Z is located at W (8) X has the purpose Y for Y knows Z is located at W
(=>
    (instance ?RA RepresentationalArtWork)
    (exists (?P)
        (and
            (instance ?P Physical)
            (represents ?RA ?P))))		 Merge.kif 16189-16194 If X is an instance of representational art work, then there exists Y such that Y is an instance of physical and X expresses Y
(=>
    (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 21732-21740 If greedy is an attribute of X, then there exists Y such that X is an instance of organism, Y is an instance of physical, X desires X possesses Y, and the statement X doesn't possess Y doesn't have the modal force of necessity
(=>
    (attribute ?X Historical)
    (instance ?X Physical))		 Mid-level-ontology.kif 29180-29182 If historical is an attribute of X, then X is an instance of physical
(=>
    (and
        (attribute ?X Historical)
        (instance ?X City))
    (exists (?EV)
        (and
            (instance ?EV Physical)
            (attribute ?EV Historical)
            (eventLocated ?EV ?X))))		 Mid-level-ontology.kif 29188-29196 If historical is an attribute of X and X is an instance of city, then there exists Y such that Y is an instance of physical, historical is an attribute of Y, and Y is located at X
(=>
    (instance ?VIEW View)
    (exists (?ENTITY)
        (and
            (instance ?ENTITY Physical)
            (represents ?VIEW ?ENTITY))))		 Dining.kif 946-951 If X is an instance of view, then there exists Y such that Y is an instance of physical and X expresses Y
(=>
    (and
        (attribute ?X ?ATTR)
        (instance ?ATTR AmbienceAttribute))
    (instance ?X Physical))		 Dining.kif 1069-1073 If X is an attribute of Y and X is an instance of ambience, then Y is an instance of physical
(=>
    (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 If X is an instance of final fee, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of web listing (3) Z is an instance of selling (4) W is an instance of agent (5) V is an instance of physical (6) Y is an instance of web listing (7) V is a patient of Y (8) V is a patient of Z (9) Z causes X (10) W is an agent of X (11) Y is hosted on U (12) W possesses U (13) W facilitates Z
(=>
    (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 2243-2260 If X is the catalog for Y, then there exist Z, W, V such that W is an instance of collection, Z is a part of X, Z expresses W, U U is a member of WU is an instance of physical, and U is capable of doing the class described by V as a patient
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER WebListing))))
    (exists (?LISTING ?SITE ?ITEM)
        (equal
            (DivisionFn
                (CardinalityFn
                    (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 2846-2871 If X is an instance of collection and For all Physical Y: if Y is a member of X, then Y is an instance of web listing, then there exist Z, W, V such that equal the number of instances in the class described by Z, the number of instances in X, and number of bids in X
(=>
    (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 If X is an instance of collection and For all Physical Y: if Y is a member of X, then Y is an instance of financial transaction, then there exist Z, W such that equal the number of instances in the class described by Z, and number of items purchased in X
(=>
    (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 If X is an instance of collection and For all Physical Y: if Y is a member of X, then Y is an instance of web listing, then there exist Z, W,, , V, Z such that equal the number of instances in the class described by Z, and number of bids in X
(=>
    (and
        (instance ?F Frightening)
        (experiencer ?F ?A))
    (and
        (fears ?A
            (instance ?P Physical))
        (or
            (origin ?F ?P)
            (causes ?P ?F))))		 emotion.kif 1729-1738 If X is an instance of frightening and Y experiences X, then Y fears Z is an instance of physical and X originates at Z or Z causes X
(=>
    (holdsDuring ?T
        (attribute ?A Curiosity))
    (exists (?P)
        (and
            (instance ?P Physical)
            (desires ?A
                (exists (?L)
                    (and
                        (instance ?L Learning)
                        (patient ?L ?P)
                        (agent ?L ?A)
                        (during ?T
                            (WhenFn ?L))))))))		 emotion.kif 1768-1781 If intrigued is an attribute of X holds during Y, then there exists Z such that Z is an instance of physical, X desires there exists W such that W is an instance of learning, Z is a patient of W, X is an agent of W, and Y takes place during the time of existence of W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners