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


KB Term:  Term intersection
English Word: 

Sigma KEE - Physical
Physical(physical)concrete, physical_entity

appearance as argument number 1
-------------------------


(subclass Physical Entity) Merge.kif 825-825 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 828-830 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 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
(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 1314-1314 The number 1 argument of member is an instance of physical
(domain needs 2 Physical) Merge.kif 2787-2787 The number 2 argument of needs is an instance of physical
(domain wants 2 Physical) Merge.kif 2801-2801 The number 2 argument of wants is an instance of physical
(domain time 1 Physical) Merge.kif 3903-3903 The number 1 argument of time is an instance of physical
(domain hasPurpose 1 Physical) Merge.kif 3986-3986 The number 1 argument of has purpose is an instance of physical
(domain hasPurposeForAgent 1 Physical) Merge.kif 4002-4002 The number 1 argument of has purpose for agent is an instance of physical
(domain partlyLocated 1 Physical) Merge.kif 4088-4088 The number 1 argument of partly located is an instance of physical
(domain located 1 Physical) Merge.kif 4118-4118 The number 1 argument of located is an instance of physical
(domain exactlyLocated 1 Physical) Merge.kif 4180-4180 The number 1 argument of exactly located is an instance of physical
(domain WhereFn 1 Physical) Merge.kif 4274-4274 The number 1 argument of where is an instance of physical
(domain abstractCounterpart 2 Physical) Merge.kif 6161-6161 The number 2 argument of abstract counterpart is an instance of physical
(domain systemPart 1 Physical) Merge.kif 6184-6184 The number 1 argument of system part is an instance of physical
(domain measure 1 Physical) Merge.kif 7570-7570 The number 1 argument of measure is an instance of physical
(domain age 1 Physical) Merge.kif 7587-7587 The number 1 argument of age is an instance of physical
(domain linearExtent 1 Physical) Merge.kif 7601-7601 The number 1 argument of linear extent is an instance of physical
(domain width 1 Physical) Merge.kif 7614-7614 The number 1 argument of width is an instance of physical
(domain length 1 Physical) Merge.kif 7630-7630 The number 1 argument of length is an instance of physical
(domain shape 1 Physical) Merge.kif 7695-7695 The number 1 argument of shape is an instance of physical
(domain distance 1 Physical) Merge.kif 7786-7786 The number 1 argument of distance is an instance of physical
(domain distance 2 Physical) Merge.kif 7787-7787 The number 2 argument of distance is an instance of physical
(domain altitude 1 Physical) Merge.kif 7808-7808 The number 1 argument of altitude is an instance of physical
(domain altitude 2 Physical) Merge.kif 7809-7809 The number 2 argument of altitude is an instance of physical
(domain depth 1 Physical) Merge.kif 7832-7832 The number 1 argument of depth is an instance of physical
(domain depth 2 Physical) Merge.kif 7833-7833 The number 2 argument of depth is an instance of physical
(domain monetaryValue 1 Physical) Merge.kif 7891-7891 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 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 ?AGENT
                (knows ?AGENT
                    (located ?OBJ ?LOC))))))		 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 for W knows Y is located at Z
(=>
    (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 32624-32633 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 34565-34573 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 34581-34589 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 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
-------------------------


(=>
    (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 ?AGENT
                (knows ?AGENT
                    (located ?OBJ ?LOC))))))		 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 for Y knows Z is located at W
(=>
    (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 20176-20186 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 21798-21806 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 29249-29251 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 29257-29265 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 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
(=>
    (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