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


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

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


(subclass FinancialAsset Physical) FinancialOntology.kif 43-43 Financial asset is a subclass of physical
(partition Entity Physical Abstract) Merge.kif 809-809 Entity is exhaustively partitioned into physical and abstract
(subclass Object Physical) Merge.kif 839-839 Object is a subclass of physical
(subclass Collection Physical) Merge.kif 1296-1296 Collection is a subclass of physical
(subclass ContentBearingPhysical Physical) Merge.kif 1339-1339 Content bearing physical is a subclass of physical
(subclass Process Physical) Merge.kif 1656-1656 Process is a subclass of physical
(subclass PhysicalSystem Physical) Merge.kif 6170-6170 Physical system is a subclass of physical
(termFormat EnglishLanguage Physical "physical") english_format.kif 830-830 Physical system is a subclass of physical

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


(domainSubclass negotiatedPrice 1 Physical) Catalog.kif 269-269 The number 1 argument of negotiated price is a subclass of physical
(domainSubclass rentalPrice 1 Physical) Catalog.kif 454-454 The number 1 argument of rental price is a subclass of physical
(domainSubclass contractedRentalPrice 1 Physical) Catalog.kif 501-501 The number 1 argument of contracted rental price is a subclass of physical
(domain reservationChannel 1 Physical) Dining.kif 671-671 The number 1 argument of reservation channel is an instance of physical
(domain equilibriumPriceFn 1 Physical) Economy.kif 6869-6869 The number 1 argument of market-clearing price is an instance of physical
(domainSubclass naturalHazardTypeInArea 2 Physical) Geography.kif 3712-3712 The number 2 argument of natural hazard type in area is a subclass of physical
(domainSubclass environmentalProblemTypeInArea 2 Physical) Geography.kif 3911-3911 The number 2 argument of environmental problem type in area is a subclass of physical
(domain courseWRTTrueNorth 1 Physical) Geography.kif 5179-5179 The number 1 argument of courseWRT true north is an instance of physical
(domain courseWRTTrueNorth 2 Physical) Geography.kif 5180-5180 The number 2 argument of courseWRT true north is an instance of physical
(domain courseWRTMagneticNorth 1 Physical) Geography.kif 5349-5349 The number 1 argument of courseWRT magnetic north is an instance of physical
(domain courseWRTMagneticNorth 2 Physical) Geography.kif 5350-5350 The number 2 argument of courseWRT magnetic north is an instance of physical
(domain courseWRTCompassNorth 1 Physical) Geography.kif 5381-5381 The number 1 argument of courseWRT compass north is an instance of physical
(domain courseWRTCompassNorth 2 Physical) Geography.kif 5382-5382 The number 2 argument of courseWRT compass north is an instance of physical
(domain flows 1 Physical) Geography.kif 7047-7047 The number 1 argument of flows is an instance of physical
(domain flows 2 Physical) Geography.kif 7048-7048 The number 2 argument of flows is an instance of physical
(domain tributary 1 Physical) Geography.kif 7053-7053 The number 1 argument of tributary is an instance of physical
(domain tributary 2 Physical) Geography.kif 7054-7054 The number 2 argument of tributary is an instance of physical
(domain hazardous 1 Physical) Geography.kif 7490-7490 The number 1 argument of hazardous is an instance of physical
(domain maritimeHazard 1 Physical) Geography.kif 7512-7512 The number 1 argument of maritime hazard is an instance of physical
(domain dateDissolved 1 Physical) Government.kif 2536-2536 The number 1 argument of date dissolved is an instance of physical
(domainSubclass roomAmenity 2 Physical) Hotel.kif 279-279 The number 2 argument of room amenity is a subclass of physical
(domainSubclass freeRoomAmenity 2 Physical) Hotel.kif 337-337 The number 2 argument of free room amenity is a subclass of physical
(domainSubclass paidRoomAmenity 2 Physical) Hotel.kif 383-383 The number 2 argument of paid room amenity is a subclass of physical
(domainSubclass propertyAmenity 2 Physical) Hotel.kif 502-502 The number 2 argument of property amenity is a subclass of physical
(domainSubclass freePropertyAmenity 2 Physical) Hotel.kif 542-542 The number 2 argument of free property amenity is a subclass of physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (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
(=>
    (instance ?PHYS Physical)
    (exists (?LOC ?TIME)
        (and
            (located ?PHYS ?LOC)
            (time ?PHYS ?TIME))))		 Merge.kif 832-837 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 7699-7704 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 8065-8072 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 8382-8389 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
                (knows ?AGENT
                    (located ?OBJ ?LOC)) ?AGENT))))		 Merge.kif 13160-13173 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 knows Y is located at Z for W
(=>
    (holdsDuring ?T
        (fears ?A
            (exists (?P)
                (instance ?P Physical))))
    (believes ?A
        (modalAttribute
            (holdsDuring
                (ImmediateFutureFn ?T)
                (exists (?D)
                    (and
                        (instance ?D Damaging)
                        (patient ?D ?A)
                        (or
                            (origin ?D ?P)
                            (causes ?P ?D))))) Likely)))		 Mid-level-ontology.kif 8579-8594 If X fears there exists Y such that Y is an instance of physical holds during Z, then X believes the statement there exists W such that W is an instance of damaging, X is a patient of W, and W originates at Y or Y causes W holds during immediately after Z has the modal force of likely
(=>
    (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 32601-32610 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 34530-34538 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 34546-34554 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
        (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 2078-2091 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
-------------------------


(=>
    (instance ?VIEW View)
    (exists (?ENTITY)
        (and
            (instance ?ENTITY Physical)
            (represents ?VIEW ?ENTITY))))		 Dining.kif 943-948 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 1066-1070 If X is an attribute of Y and X is an instance of ambience, then Y is an instance of physical
(=>
    (and
        (instance ?REL ObjectAttitude)
        (?REL ?AGENT ?THING))
    (instance ?THING Physical))		 Merge.kif 2750-2754 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
                (knows ?AGENT
                    (located ?OBJ ?LOC)) ?AGENT))))		 Merge.kif 13146-13158 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 knows Z is located at W for Y
(=>
    (instance ?RA RepresentationalArtWork)
    (exists (?P)
        (and
            (instance ?P Physical)
            (represents ?RA ?P))))		 Merge.kif 16044-16049 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
(=>
    (and
        (instance ?F Frightening)
        (experiencer ?F ?A))
    (and
        (fears ?A
            (exists (?P)
                (instance ?P Physical)))
        (or
            (origin ?F ?P)
            (causes ?P ?F))))		 Mid-level-ontology.kif 20153-20163 If X is an instance of frightening and Y experiences X, then Y fears there exists Z such that Z is an instance of physical and X originates at Z or Z causes X
(=>
    (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 21773-21781 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 29231-29233 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 29239-29247 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 ?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 2242-2259 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 2845-2870 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 2886-2902 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 2921-2939 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
(=>
    (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 1609-1622 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 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