Physical - Sigma Knowledge base Browser

appearance as argument number 3

s__domain(s__WhenFn__m,n__1,s__Physical)	Merge.kif 7894-7894	The number 1 argument of when is an instance of physical
s__domain(s__WhereFn__m,n__1,s__Physical)	Merge.kif 4039-4039	The number 1 argument of where is an instance of physical
s__domain(s__abstractCounterpart__m,n__2,s__Physical)	Merge.kif 5763-5763	The number 2 argument of abstractCounterpart is an instance of physical
s__domain(s__altitude__m,n__1,s__Physical)	Merge.kif 7269-7269	The number 1 argument of altitude is an instance of physical
s__domain(s__altitude__m,n__2,s__Physical)	Merge.kif 7270-7270	The number 2 argument of altitude is an instance of physical
s__domain(s__anniversary__m,n__1,s__Physical)	Mid-level-ontology.kif 21954-21954	The number 1 argument of anniversary is an instance of physical
s__domain(s__attitudeForObject__m,n__3,s__Physical)	emotion.kif 2018-2018	The number 3 argument of attitudeForObject is an instance of physical
s__domain(s__cooccur__m,n__1,s__Physical)	Merge.kif 7819-7819	The number 1 argument of cooccur is an instance of physical
s__domain(s__cooccur__m,n__2,s__Physical)	Merge.kif 7820-7820	The number 2 argument of cooccur is an instance of physical
s__domain(s__courseWRTCompassNorth__m,n__1,s__Physical)	Geography.kif 3652-3652	The number 1 argument of courseWRT compass north is an instance of physical
s__domain(s__courseWRTCompassNorth__m,n__2,s__Physical)	Geography.kif 3653-3653	The number 2 argument of courseWRT compass north is an instance of physical
s__domain(s__courseWRTMagneticNorth__m,n__1,s__Physical)	Geography.kif 3623-3623	The number 1 argument of courseWRT magnetic north is an instance of physical
s__domain(s__courseWRTMagneticNorth__m,n__2,s__Physical)	Geography.kif 3624-3624	The number 2 argument of courseWRT magnetic north is an instance of physical
s__domain(s__courseWRTTrueNorth__m,n__1,s__Physical)	Geography.kif 3560-3560	The number 1 argument of courseWRT true north is an instance of physical
s__domain(s__courseWRTTrueNorth__m,n__2,s__Physical)	Geography.kif 3561-3561	The number 2 argument of courseWRT true north is an instance of physical
s__domain(s__date__m,n__1,s__Physical)	Merge.kif 7971-7971	The number 1 argument of date is an instance of physical
s__domain(s__dateDissolved__m,n__1,s__Physical)	Government.kif 2496-2496	The number 1 argument of date dissolved is an instance of physical
s__domain(s__dateEstablished__m,n__1,s__Physical)	Mid-level-ontology.kif 1359-1359	The number 1 argument of date established is an instance of physical
s__domain(s__distance__m,n__1,s__Physical)	Merge.kif 7247-7247	The number 1 argument of distance is an instance of physical
s__domain(s__distance__m,n__2,s__Physical)	Merge.kif 7248-7248	The number 2 argument of distance is an instance of physical
s__domain(s__evidence__m,n__2,s__Physical)	Law.kif 221-221	The number 2 argument of evidence is an instance of physical
s__domain(s__flows__m,n__1,s__Physical)	Geography.kif 5106-5106	The number 1 argument of flows is an instance of physical
s__domain(s__flows__m,n__2,s__Physical)	Geography.kif 5107-5107	The number 2 argument of flows is an instance of physical
s__domain(s__hasPurpose__m,n__1,s__Physical)	Merge.kif 3771-3771	The number 1 argument of has purpose is an instance of physical
s__domain(s__hasPurposeForAgent__m,n__1,s__Physical)	Merge.kif 3787-3787	The number 1 argument of has purpose for agent is an instance of physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

( ! [V__AGENT,V__CUST,V__ITEM] : ((s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__CUST,s__CognitiveAgent)) => (s__buys(V__CUST,V__AGENT,V__ITEM) & s__instance(V__ITEM,s__Physical)) => ( ? [V__TRANS] : ((s__instance(V__TRANS,s__Buying) & s__patient(V__TRANS,V__ITEM) & s__agent(V__TRANS,V__CUST) & s__origin(V__TRANS,V__AGENT)))) ) )	Mid-level-ontology.kif 28134-28143	If a cognitive agent buys an entity from another cognitive 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 other cognitive agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7519-7526	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
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 322-337	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
( ! [V__AGENT,V__OBJECT,V__AMOUNT,V__BIDDING] : ((s__instance(V__AGENT,s__Agent) & s__instance(V__AGENT,s__SetOrClass)) => (s__instance(V__BIDDING,s__Bidding) & s__instance(V__OBJECT,s__Physical) & s__instance(V__AMOUNT,s__CurrencyMeasure) & s__instance(V__AGENT,V__AGENT) & s__objectOfBid(V__BIDDING,V__OBJECT) & s__amountOfBid(V__BIDDING,V__AMOUNT) & s__agent(V__BIDDING,V__AGENT)) => s__bidPrice(V__OBJECT,V__AMOUNT,V__AGENT) ) )	UXExperimentalTerms.kif 1611-1620	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
( ! [V__PAGE,V__ITEM,V__ADVERTISING] : ((s__instance(V__PAGE,s__ViewItemPage) & s__instance(V__ADVERTISING,s__WebListing) & s__component(V__ADVERTISING,V__PAGE) & s__patient(V__ADVERTISING,V__ITEM) & s__instance(V__ITEM,s__Physical)) => ( ? [V__DESCRIPTION, V__STATING, V__DESCRIPTIONCONTENT] : ((s__instance(V__DESCRIPTION,s__Process) & s__instance(V__DESCRIPTIONCONTENT,s__Object) & (s__instance(V__STATING,s__Stating) & s__patient(V__STATING,V__DESCRIPTION) & s__refers(V__DESCRIPTION,V__ITEM) & s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT) & s__part(V__DESCRIPTIONCONTENT,V__PAGE))))) ) )	UXExperimentalTerms.kif 2282-2295	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12011-12024	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 purpose the agent knows the physical is located at the object for the agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 262-276	If the price negotiated for a kind of entity in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent and a kind of entity is a subclass of physical, then the statement if another entity is an instance of selling and a third entity is a patient of the other entity and the third entity is an immediate instance of the kind of entity and the cognitive agent is an agent of the other entity and the other entity ends up at the other cognitive agent, then the currency measure is a transaction amount of the other entity has the modal force of promise
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 339-355	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
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 357-372	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
( ! [V__OBJ,V__SHAPE] : ((s__property(V__OBJ,V__SHAPE) & s__instance(V__OBJ,s__Physical) & s__instance(V__SHAPE,s__ShapeAttribute)) => s__shape(V__OBJ,V__SHAPE) ) )	Mid-level-ontology.kif 23509-23514	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
( ! [V__PHYS] : (s__instance(V__PHYS,s__Physical) => ( ? [V__LOC, V__TIME] : ((s__instance(V__LOC,s__Object) & s__instance(V__TIME,s__TimePosition) & (s__located(V__PHYS,V__LOC) & s__time(V__PHYS,V__TIME))))) ) )	Merge.kif 804-809	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

consequent

( ! [V__ATTR,V__X] : (s__instance(V__X,s__Object) => (s__attribute(V__X,V__ATTR) & s__instance(V__ATTR,s__AmbienceAttribute)) => s__instance(V__X,s__Physical) ) )	Dining.kif 1016-1020	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
( ! [V__X] : ((s__attribute(V__X,s__Historical) & s__instance(V__X,s__City)) => ( ? [V__EV] : ((s__instance(V__EV,s__Physical) & s__attribute(V__EV,s__Historical) & s__eventLocated(V__EV,V__X)))) ) )	Mid-level-ontology.kif 24713-24721	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 2
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3091-3106	If a collection is an instance of collection and for all an object if the object is a member of the collection, then the object is an instance of financial transaction , then the number of instances in the class described by a symbolic string is equal to number of items purchased in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3125-3142	If a collection is an instance of collection and for all an object if the object is a member of the collection, then the object is an instance of web listing , then the number of instances in the class described by a symbolic string is equal to number of bids in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3050-3074	If a collection is an instance of collection and for all an object if the object is a member of the collection, then the object is an instance of web listing , then the number of instances in the class described by a symbolic string and the number of instances in the collection is equal to number of bids in the collection
( ! [V__AGENT,V__THING] : ((s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__THING,s__Physical)) => (s__instance(s__needs__m,s__ObjectAttitude) & s__needs(V__AGENT,V__THING)) => s__instance(V__THING,s__Physical) ) ) ( ! [V__AGENT,V__THING] : ((s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__THING,s__Physical)) => (s__instance(s__wants__m,s__ObjectAttitude) & s__wants(V__AGENT,V__THING)) => s__instance(V__THING,s__Physical) ) ) ( ! [V__AGENT,V__THING] : (s__instance(V__AGENT,s__CognitiveAgent) => (s__instance(s__lacks__m,s__ObjectAttitude) & s__lacks(V__AGENT,V__THING)) => s__instance(V__THING,s__Physical) ) ) ( ! [V__AGENT,V__THING] : ((s__instance(V__AGENT,s__Agent) & s__instance(V__THING,s__Agent)) => (s__instance(s__enemy__m,s__ObjectAttitude) & s__enemy(V__AGENT,V__THING)) => s__instance(V__THING,s__Physical) ) ) ( ! [V__AGENT,V__THING] : ((s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__THING,s__Object)) => (s__instance(s__dislikes__m,s__ObjectAttitude) & s__dislikes(V__AGENT,V__THING)) => s__instance(V__THING,s__Physical) ) )	Merge.kif 2616-2620	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
( ! [V__X] : (s__instance(V__X,s__Object) => s__attribute(V__X,s__Historical) => s__instance(V__X,s__Physical) ) )	Mid-level-ontology.kif 24705-24707	If historical is an attribute of an object, then the object is an instance of physical
( ! [V__CHARGE] : (s__instance(V__CHARGE,s__FinalValueFee) => ( ? [V__ADVERT, V__SELLING, V__OWNER, V__ITEM, V__SITE] : ((s__instance(V__SITE,s__WebSite) & (s__instance(V__ADVERT,s__WebListing) & s__instance(V__SELLING,s__Selling) & s__instance(V__OWNER,s__Agent) & s__instance(V__ITEM,s__Physical) & s__instance(V__ADVERT,s__WebListing) & s__patient(V__ADVERT,V__ITEM) & s__patient(V__SELLING,V__ITEM) & s__causes(V__SELLING,V__CHARGE) & s__agent(V__CHARGE,V__OWNER) & s__hostedOn(V__ADVERT,V__SITE) & s__possesses(V__OWNER,V__SITE) & s__eCommerceSite(V__SELLING,V__OWNER))))) ) )	UXExperimentalTerms.kif 305-320	If a process is an instance of final fee, then there exist a web listing, a financial transaction,, , an agent,, , an entity and a WebSite 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 WebSite and the agent possesses the WebSite and the agent facilitates the financial transaction
( ! [V__RA] : (s__instance(V__RA,s__RepresentationalArtWork) => ( ? [V__P] : ((s__instance(V__P,s__Physical) & s__represents(V__RA,V__P)))) ) )	Merge.kif 14691-14696	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11997-12009	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 purpose the agent knows the physical is located at the object for the agent
( ! [V__VIEW] : (s__instance(V__VIEW,s__View) => ( ? [V__ENTITY] : ((s__instance(V__ENTITY,s__Physical) & s__represents(V__VIEW,V__ENTITY)))) ) )	Dining.kif 896-901	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2446-2463	If a database is the catalog for a WebSite, then there exists an object such that a 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 a symbolic string as a patient

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

s__documentation(s__Physical,s__ChineseLanguage,'"存在时空中某位置的个体。注：位置本身应理解为，存在于某个时空的位置。"')	chinese_format.kif 1550-1551
s__documentation(s__Physical,s__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 800-802
s__partition__3(s__Physical,s__Object,s__Process)	Merge.kif 798-798	Physical is exhaustively partitioned into object and process
s__instance(s__Entity,s__SetOrClass) s__subclass(s__Physical,s__Entity) s__instance(s__Physical,s__SetOrClass)	Merge.kif 797-797	Physical is a subclass of entity

s__partition__3(s__Entity,s__Physical,s__Abstract)	Merge.kif 781-781	Entity is exhaustively partitioned into physical and abstract
s__instance(s__ContentBearingPhysical,s__SetOrClass) s__instance(s__Physical,s__SetOrClass) s__subclass(s__ContentBearingPhysical,s__Physical)	Merge.kif 1198-1198	Content bearing physical is a subclass of physical
s__subclass(s__FinancialAsset,s__Physical) s__instance(s__Physical,s__SetOrClass) s__instance(s__FinancialAsset,s__SetOrClass)	FinancialOntology.kif 41-41	Financial asset is a subclass of physical
s__instance(s__Object,s__SetOrClass) s__instance(s__Physical,s__SetOrClass) s__subclass(s__Object,s__Physical)	Merge.kif 811-811	Object is a subclass of physical
s__subclass(s__PhysicalSystem,s__Physical) s__instance(s__Physical,s__SetOrClass) s__instance(s__PhysicalSystem,s__SetOrClass)	Merge.kif 5772-5772	Physical system is a subclass of physical
s__instance(s__Process,s__SetOrClass) s__subclass(s__Process,s__Physical) s__instance(s__Physical,s__SetOrClass)	Merge.kif 1526-1526	Process is a subclass of physical
s__termFormat(s__ChineseLanguage,s__Physical,'"物理"')	chinese_format.kif 814-814
s__termFormat(s__EnglishLanguage,s__Physical,'"physical"')	english_format.kif 835-835

KB Term:			Term intersection

English Word: