TreeView Knowledge Base Browser

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	If a cognitive agent buys an entity from an agent and the entity is an instance of physical, then there exists a process such that the process is an instance of buying and the entity is a patient of the process and the cognitive agent is an agent of the process and the process originates at the agent
(=> (and (holdsDuring ?INTERVAL (?REL ?INST1 ?INST2)) (instance ?INST1 Physical) (instance ?INST2 Physical)) (and (time ?INST1 ?INTERVAL) (time ?INST2 ?INTERVAL)))	Merge.kif 8045-8052	If an entity a physical and another physical holds during a time position and the physical is an instance of physical and the other physical is an instance of physical, then the physical exists during the time position and the other physical exists during the time position
(=> (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 a process is an instance of buying and an entity is a patient of the process and the process originates at a cognitive agent and the price of another kind of entity from the cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is another kind of entity and the other kind of entity is a subclass of physical and the entity is an immediate instance of the other kind of entity and a kind of payment is a valid payment under the pricing scheme, then the statement there exists a kind of paymentMENT such that the kind of paymentMENT is an instance of the kind of payment and the kind of paymentMENT is a subprocess of the process has the modal force of likely
(=> (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 a bidding is an instance of bidding and an object is an instance of physical and a currency measure is an instance of currency measure and an agent is an instance of the agent and the bidding is a bid for the object and the currency measure is the bid of the bidding and the agent is an agent of the bidding, then the agent bids the currency measure for the object
(=> (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 a corpuscular object is an instance of next generation view item and a process is an instance of web listing and the process is a component of the corpuscular object and an entity is a patient of the process and the entity is an instance of physical, then there exist another process, a third process and the other processCONTENT such that the third process is an instance of stating and the other process is a patient of the third process and the other process includes a reference to the entity and the other processCONTENT is a result of the other process and the other processCONTENT is a part of the corpuscular object
(=> (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	If an entity is an instance of binary predicate and the entity is an instance of spatial relation and a physical is an instance of physical and another physical is an instance of physical and the entity the physical and the other physical, then the time of existence of the other physical overlaps the time of existence of the physical
(=> (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	If a process is an instance of searching and a physical is a patient of the process and the physical is an instance of physical, then there exist an object and an agent such that the agent is an instance of cognitive agent and the agent is an agent of the process and the object is an instance of object and the physical is located at the object and the process has the purpose the agent knows the physical is located at the object for the agent
(=> (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 an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of physical, then the statement there exist another entity and a third entity such that the third entity is an instance of the kind of entity and the other entity is an instance of selling and the agent is an agent of the other entity and the third entity is a patient of the other entity has the modal force of possibility
(=> (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 a kind of entity from a cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is a kind of entity and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and the pricing scheme is valid for a kind of agent and a third entity is an instance of a kind of agent, then the statement if a fourth entity is an instance of buying and the third entity is an agent of the fourth entity and the fourth entity originates at the cognitive agent and the other entity is a patient of the fourth entity, then the currency measure is a transaction amount of the fourth entity 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 a kind of entity from a cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is a kind of entity and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and the pricing scheme is valid during a time interval, then the statement if a third entity is an instance of selling and the cognitive agent is an agent of the third entity and the other entity is a patient of the third entity, then the currency measure is a transaction amount of the third entity has the modal force of likely holds during the time interval
(=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE))	Merge.kif 7675-7680	If a physical the attribute a shape attribute and the physical is an instance of physical and the shape attribute is an instance of shape attribute, then the physical is the shape attribute
(=> (instance ?PHYS Physical) (exists (?LOC ?TIME) (and (located ?PHYS ?LOC) (time ?PHYS ?TIME))))	Merge.kif 832-837	If a physical is an instance of physical, then there exist an object and a time position such that the physical is located at the object and the physical exists during the time position
(=> (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	If a physical is an instance of physical, then there exist a time interval, a time point,, , another time interval and an entity such that equal the time interval and the time of existence of the physical and equal the time point and the beginning of the time interval and equal the other time interval and immediately after the time point and the entity is an attribute of the physical holds during the other time interval
(=> (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	If a physical is an instance of physical, then there exist a time interval, a time point,, , another time interval and an entity such that equal the time interval and the time of existence of the physical and equal the time point and the end of the time interval and equal the other time interval and immediately before the time point and the entity is an attribute of the physical holds during the other time interval

consequent

(=> (and (attribute ?X ?ATTR) (instance ?ATTR AmbienceAttribute)) (instance ?X Physical))	Dining.kif 1066-1070	If an attribute is an attribute of an object and the attribute is an instance of ambience, then the object 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 28493-28501	If historical is an attribute of an object and the object is an instance of city, then there exists another object such that the other object is an instance of physical and historical is an attribute of the other object and the other object is located at the object
(=> (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 a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of financial transaction , then there exist a symbolic string and an entity such that equal the number of instances in the class described by the symbolic string and number of items purchased in the collection
(=> (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	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then equal the number of instances in there exist an entity, another entity and a third entity such that the class described by the entity and the number of instances in the collection and number of bids in the collection
(=> (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 a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then there exist a symbolic string, an entity,, , another entity and the symbolic string such that equal the number of instances in the class described by the symbolic string and number of bids in the collection
(=> (and (instance ?REL ObjectAttitude) (?REL ?AGENT ?THING)) (instance ?THING Physical))	Merge.kif 2726-2730	If an entity is an instance of object attitude and the entity another entity and a third entity, then the third entity is an instance of physical
(=> (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	If greedy is an attribute of a cognitive agent, then there exists an entity such that the cognitive agent is an instance of organism and the entity is an instance of physical and the cognitive agent desires the cognitive agent possesses the entity and the statement the cognitive agent possesses the entity doesn't have the modal force of necessity
(=> (attribute ?X Historical) (instance ?X Physical))	Mid-level-ontology.kif 28485-28487	If historical is an attribute of an object, then the object 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 a process is an instance of final fee, then there exist a web listing, a financial transaction,, , an agent,, , an entity and a web site such that the web listing is an instance of web listing and the financial transaction is an instance of selling and the agent is an instance of agent and the entity is an instance of physical and the web listing is an instance of web listing and the entity is a patient of the web listing and the entity is a patient of the financial transaction and the financial transaction causes the process and the agent is an agent of the process and the web listing is hosted on the web site and the agent possesses the web site and the agent facilitates the financial transaction
(=> (instance ?RA RepresentationalArtWork) (exists (?P) (and (instance ?P Physical) (represents ?RA ?P))))	Merge.kif 16022-16027	If an entity is an instance of representational art work, then there exists another entity such that the other entity is an instance of physical and the entity expresses the other entity
(=> (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	If a process is an instance of searching, then there exist an agent, a physical and an object such that the agent is an instance of cognitive agent and the agent is an agent of the process and the physical is an instance of physical and the physical is a patient of the process and the object is an instance of object and the physical is located at the object and the process has the purpose the agent knows the physical is located at the object for the agent
(=> (instance ?VIEW View) (exists (?ENTITY) (and (instance ?ENTITY Physical) (represents ?VIEW ?ENTITY))))	Dining.kif 943-948	If an entity is an instance of view, then there exists another entity such that the other entity is an instance of physical and the entity expresses the other entity
(=> (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 a database is the catalog for a web site, then there exist an object, a collection and a symbolic string such that the collection is an instance of collection and the object is a part of the database and the object expresses the collection and for all another object if the other object is a member of the collection, then the other object is an instance of physical and the other object is capable of doing the class described by the symbolic string as a patient

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

KB Term:			Term intersection

English Word: