Physical - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Physical,s__ChineseLanguage,'存在时空中某位置的个体。注：位置本身应理解为，存在于某个时空的位置。')	Merge.kif 861-862
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 858-860
s__partition_3(s__Physical,s__Object,s__Process)	Merge.kif 857-857	Physical is exhaustively partitioned into object and process
s__subclass(s__Physical,s__Entity) s__instance(s__Physical,s__SetOrClass) s__instance(s__Entity,s__SetOrClass)	Merge.kif 856-856	Physical is a subclass of entity

appearance as argument number 2

s__partition_3(s__Entity,s__Physical,s__Abstract)	Merge.kif 840-840	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 1324-1324	Content bearing physical is a subclass of physical
s__instance(s__Physical,s__SetOrClass) s__instance(s__FinancialAsset,s__SetOrClass) s__subclass(s__FinancialAsset,s__Physical)	FinancialOntology.kif 41-41	Financial asset is a subclass of physical
s__subclass(s__Object,s__Physical) s__instance(s__Physical,s__SetOrClass) s__instance(s__Object,s__SetOrClass)	Merge.kif 871-871	Object is a subclass of physical
s__instance(s__PhysicalSystem,s__SetOrClass) s__instance(s__Physical,s__SetOrClass) s__subclass(s__PhysicalSystem,s__Physical)	Merge.kif 6221-6221	Physical system is a subclass of physical
s__instance(s__Process,s__SetOrClass) s__instance(s__Physical,s__SetOrClass) s__subclass(s__Process,s__Physical)	Merge.kif 1650-1650	Process is a subclass of physical
s__termFormat(s__ChineseLanguage,s__Physical,'物理')	chinese_format.kif 814-814	"物理" is the printable form of physical in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Physical,'physical')	english_format.kif 501-501	"physical" is the printable form of physical in english language
s__termFormat(s__FrenchLanguage,s__Physical,'physique')	french_format.kif 490-490	"physique" is the printable form of physical in french language
s__termFormat(s__Hindi,s__Physical,'bhOtika vaswu')	terms-hindi.txt 24-24	"bhOtika vaswu" is the printable form of physical in Hindi
s__termFormat(s__ItalianLanguage,s__Physical,'Entit�Concreta')	terms-it.txt 24-24	"Entit�Concreta" is the printable form of physical in italian language
s__termFormat(s__PortugueseLanguage,s__Physical,'Fisico')	portuguese_format.kif 442-442	"Fisico" is the printable form of physical in portuguese language
s__termFormat(s__ar__m,s__Physical,'فِيْزيَائِي')	arabic_format.kif 226-226	"فِيْزيَائِي" is the printable form of physical in ar
s__termFormat(s__cb__m,s__Physical,'sa lawas')	terms-cb.txt 27-27	"sa lawas" is the printable form of physical in cb
s__termFormat(s__cz__m,s__Physical,'fyzick� objekt')	terms-cz.txt 57-57	"fyzick� objekt" is the printable form of physical in cz
s__termFormat(s__tg__m,s__Physical,'materyal')	terms-tg.txt 27-27	"materyal" is the printable form of physical in tg

appearance as argument number 3

s__domain(s__WhenFn__m,1,s__Physical)	Merge.kif 8520-8520	The number 1 argument of when is an instance of physical
s__domain(s__WhereFn__m,1,s__Physical)	Merge.kif 4329-4329	The number 1 argument of where is an instance of physical
s__domain(s__abstractCounterpart__m,2,s__Physical)	Merge.kif 6210-6210	The number 2 argument of abstractCounterpart is an instance of physical
s__domain(s__anniversary__m,1,s__Physical)	Mid-level-ontology.kif 21549-21549	The number 1 argument of anniversary is an instance of physical
s__domain(s__attitudeForObject__m,3,s__Physical)	emotion.kif 2012-2012	The number 3 argument of attitudeForObject is an instance of physical
s__domain(s__cooccur__m,1,s__Physical)	Merge.kif 8438-8438	The number 1 argument of cooccur is an instance of physical
s__domain(s__cooccur__m,2,s__Physical)	Merge.kif 8439-8439	The number 2 argument of cooccur is an instance of physical
s__domain(s__courseWRTCompassNorth__m,1,s__Physical)	Geography.kif 3639-3639	The number 1 argument of courseWRT compass north is an instance of physical
s__domain(s__courseWRTCompassNorth__m,2,s__Physical)	Geography.kif 3640-3640	The number 2 argument of courseWRT compass north is an instance of physical
s__domain(s__courseWRTMagneticNorth__m,1,s__Physical)	Geography.kif 3610-3610	The number 1 argument of courseWRT magnetic north is an instance of physical
s__domain(s__courseWRTMagneticNorth__m,2,s__Physical)	Geography.kif 3611-3611	The number 2 argument of courseWRT magnetic north is an instance of physical
s__domain(s__courseWRTTrueNorth__m,1,s__Physical)	Geography.kif 3547-3547	The number 1 argument of courseWRT true north is an instance of physical
s__domain(s__courseWRTTrueNorth__m,2,s__Physical)	Geography.kif 3548-3548	The number 2 argument of courseWRT true north is an instance of physical
s__domain(s__date__m,1,s__Physical)	Merge.kif 8603-8603	The number 1 argument of date is an instance of physical
s__domain(s__dateDissolved__m,1,s__Physical)	Government.kif 2502-2502	The number 1 argument of date dissolved is an instance of physical
s__domain(s__dateEstablished__m,1,s__Physical)	Mid-level-ontology.kif 1364-1364	The number 1 argument of date established is an instance of physical
s__domain(s__distance__m,1,s__Physical)	Merge.kif 7838-7838	The number 1 argument of distance is an instance of physical
s__domain(s__distance__m,2,s__Physical)	Merge.kif 7839-7839	The number 2 argument of distance is an instance of physical
s__domain(s__evidence__m,2,s__Physical)	Law.kif 220-220	The number 2 argument of evidence is an instance of physical
s__domain(s__flows__m,1,s__Physical)	Geography.kif 5093-5093	The number 1 argument of flows is an instance of physical
s__domain(s__flows__m,2,s__Physical)	Geography.kif 5094-5094	The number 2 argument of flows is an instance of physical
s__domain(s__hasPurpose__m,1,s__Physical)	Merge.kif 4049-4049	The number 1 argument of has purpose is an instance of physical
s__domain(s__hasPurposeForAgent__m,1,s__Physical)	Merge.kif 4070-4070	The number 1 argument of has purpose for agent is an instance of physical
s__domain(s__located__m,1,s__Physical)	Merge.kif 4172-4172	The number 1 argument of located is an instance of physical
s__domain(s__managedBy__m,1,s__Physical)	Hotel.kif 614-614	The number 1 argument of managed by is an instance of physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

( ! [V__CUST,V__AGENT,V__ITEM] : ((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 27688-27697	If ?CUST buys ?ITEM from ?AGENT and ?ITEM is an instance of physical, then there exists ?TRANS such that ?TRANS is an instance of buying and ?ITEM is a patient of ?TRANS and ?CUST is an agent of ?TRANS and ?TRANS originates at ?AGENT
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8129-8136	If ?REL ?INST1 and ?INST2 holds during ?INTERVAL and ?INST1 is an instance of physical and ?INST2 is an instance of physical, then ?INST1 exists during ?INTERVAL and ?INST2 exists during ?INTERVAL
( ! [V__B,V__ITEM,V__AGENT,V__ENT,V__PRICE,V__PS,V__QUANT,V__PAY] : ((s__instance(V__B,s__Buying) & s__patient(V__B,V__ITEM) & s__origin(V__B,V__AGENT) & (s__publishedPrice(V__ENT,V__PRICE,V__AGENT,V__PS) \| s__unitPrice(V__ENT,V__QUANT,V__AGENT,V__PS)) & s__subclass(V__ENT,s__Physical) & s__immediateInstance(V__ITEM,V__ENT) & s__validPaymentType(V__PS,V__PAY)) => s__modalAttribute('(? [V__PAYMENT] : (s__instance(V__PAYMENT,V__PAY) & s__subProcess(V__PAYMENT,V__B)))',s__Likely)) )	Catalog.kif 322-337	If ?B is an instance of buying and ?ITEM is a patient of ?B and ?B originates at ?AGENT and the price of ?ENT from ?AGENT according to ?PS is ?PRICE or the unit price charged ?AGENT under ?PS for ?QUANT is ?ENT and ?ENT is a subclass of physical and ?ITEM is an immediate instance of ?ENT and ?PAY is a valid payment under ?PS, then the statement there exists ?PAYMENT such that ?PAYMENT is an instance of ?PAY and ?PAYMENT is a subprocess of ?B has the modal force of likely
( ! [V__BIDDING,V__OBJECT,V__AMOUNT,V__AGENT] : ((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 1615-1624	If ?BIDDING is an instance of bidding and ?OBJECT is an instance of physical and ?AMOUNT is an instance of currency measure and ?AGENT is an instance of ?AGENT and ?BIDDING is a bid for ?OBJECT and ?AMOUNT is the bid of ?BIDDING and ?AGENT is an agent of ?BIDDING, then ?AGENT bids ?AMOUNT for ?OBJECT
( ! [V__PAGE,V__ADVERTISING,V__ITEM] : ((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__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 2285-2298	If ?PAGE is an instance of next generation view item and ?ADVERTISING is an instance of web listing and ?ADVERTISING is a component of ?PAGE and ?ITEM is a patient of ?ADVERTISING and ?ITEM is an instance of physical, then there exist ?DESCRIPTION, ?STATING and ?DESCRIPTIONCONTENT such that ?STATING is an instance of stating and ?DESCRIPTION is a patient of ?STATING and ?DESCRIPTION includes a reference to ?ITEM and ?DESCRIPTIONCONTENT is a result of ?DESCRIPTION and ?DESCRIPTIONCONTENT is a part of ?PAGE
( ! [V__S,V__OBJ] : ((s__instance(V__S,s__Searching) & s__patient(V__S,V__OBJ) & s__instance(V__OBJ,s__Physical)) => (? [V__LOC,V__AGENT] : (s__instance(V__AGENT,s__CognitiveAgent) & s__agent(V__S,V__AGENT) & s__instance(V__LOC,s__Object) & s__located(V__OBJ,V__LOC) & s__hasPurposeForAgent(V__S,'s__knows(V__AGENT,s__located(V__OBJ,V__LOC))',V__AGENT)))) )	Merge.kif 12783-12796	If ?S is an instance of Searching and ?OBJ is a patient of ?S and ?OBJ is an instance of physical, then there exist ?LOC and ?AGENT such that ?AGENT is an instance of cognitive agent and ?AGENT is an agent of ?S and ?LOC is an instance of object and ?OBJ is located at ?LOC and ?S has purpose ?AGENT knows ?OBJ is located at ?LOC for ?AGENT
( ! [V__ENT,V__PRICE,V__AGREE,V__SELLER,V__BUYER,V__S,V__ITEM] : ((s__negotiatedPrice(V__ENT,V__PRICE,V__AGREE) & s__partyToAgreement(V__SELLER,V__AGREE) & s__partyToAgreement(V__BUYER,V__AGREE) & s__subclass(V__ENT,s__Physical)) => s__modalAttribute('((s__instance(V__S,s__Selling) & s__patient(V__S,V__ITEM) & s__immediateInstance(V__ITEM,V__ENT) & s__agent(V__S,V__SELLER) & s__destination(V__S,V__BUYER)) => s__transactionAmount(V__S,V__PRICE))',s__Promise)) )	Catalog.kif 262-276	If the price negotiated for ?ENT in ?AGREE is ?PRICE and ?AGREE is a party to agreement of ?SELLER and ?AGREE is a party to agreement of ?BUYER and ?ENT is a subclass of physical, then the statement if ?S is an instance of selling and ?ITEM is a patient of ?S and ?ITEM is an immediate instance of ?ENT and ?SELLER is an agent of ?S and ?S ends up at ?BUYER, then ?PRICE is a transaction amount of ?S has the modal force of promise
( ! [V__AGENT,V__CATALOG,V__OBJ] : ((s__offers(V__AGENT,V__CATALOG) & s__catalogItem(V__OBJ,V__CATALOG) & s__subclass(V__OBJ,s__Physical)) => s__modalAttribute('(? [V__S,V__X] : (s__instance(V__X,V__OBJ) & s__instance(V__S,s__Selling) & s__agent(V__S,V__AGENT) & s__patient(V__S,V__X)))',s__Possibility)) )	Catalog.kif 51-62	If ?AGENT offers items for sale in ?CATALOG and ?OBJ is in ?CATALOG and ?OBJ is a subclass of physical, then the statement there exist ?S and ?X such that ?X is an instance of ?OBJ and ?S is an instance of selling and ?AGENT is an agent of ?S and ?X is a patient of ?S has the modal force of possibility
( ! [V__ENT,V__PRICE,V__AGENT,V__PS,V__QUANT,V__ITEM,V__CUSTCLASS,V__CUSTOMER,V__B] : (((s__publishedPrice(V__ENT,V__PRICE,V__AGENT,V__PS) \| s__unitPrice(V__ENT,V__QUANT,V__AGENT,V__PS)) & s__subclass(V__ENT,s__Physical) & s__immediateInstance(V__ITEM,V__ENT) & s__validFor(V__PS,V__CUSTCLASS) & s__instance(V__CUSTOMER,V__CUSTCLASS)) => s__modalAttribute('((s__instance(V__B,s__Buying) & s__agent(V__B,V__CUSTOMER) & s__origin(V__B,V__AGENT) & s__patient(V__B,V__ITEM)) => s__transactionAmount(V__B,V__PRICE))',s__Likely)) )	Catalog.kif 339-355	If the price of ?ENT from ?AGENT according to ?PS is ?PRICE or the unit price charged ?AGENT under ?PS for ?QUANT is ?ENT and ?ENT is a subclass of physical and ?ITEM is an immediate instance of ?ENT and ?PS is valid for ?CUSTCLASS and ?CUSTOMER is an instance of ?CUSTCLASS, then the statement if ?B is an instance of buying and ?CUSTOMER is an agent of ?B and ?B originates at ?AGENT and ?ITEM is a patient of ?B, then ?PRICE is a transaction amount of ?B has the modal force of likely
( ! [V__ENT,V__PRICE,V__AGENT,V__PS,V__QUANT,V__ITEM,V__TIMEINT,V__TIMTEINT,V__S,V__SELLING] : (((s__publishedPrice(V__ENT,V__PRICE,V__AGENT,V__PS) \| s__unitPrice(V__ENT,V__QUANT,V__AGENT,V__PS)) & s__subclass(V__ENT,s__Physical) & s__immediateInstance(V__ITEM,V__ENT) & s__validityPeriod(V__PS,V__TIMEINT)) => s__holdsDuring(V__TIMTEINT,'s__modalAttribute(((s__instance(V__S,V__SELLING) & s__agent(V__S,V__AGENT) & s__patient(V__S,V__ITEM)) => s__transactionAmount(V__S,V__PRICE)),s__Likely)')) )	Catalog.kif 357-372	If the price of ?ENT from ?AGENT according to ?PS is ?PRICE or the unit price charged ?AGENT under ?PS for ?QUANT is ?ENT and ?ENT is a subclass of physical and ?ITEM is an immediate instance of ?ENT and ?PS is valid during ?TIMEINT, then the statement if ?S is an instance of ?SELLING and ?AGENT is an agent of ?S and ?ITEM is a patient of ?S, then ?PRICE is a transaction amount of ?S has the modal force of likely holds during ?TIMTEINT
( ! [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)) )	ComputerInput.kif 142-147	If ?OBJ has an attribute ?SHAPE and ?OBJ is an instance of physical and ?SHAPE is an instance of shape attribute, then ?OBJ is ?SHAPE
( ! [V__PHYS] : (s__instance(V__PHYS,s__Physical) => (? [V__LOC,V__TIME] : (s__located(V__PHYS,V__LOC) & s__time(V__PHYS,V__TIME)))) )	Merge.kif 864-869	If ?PHYS is an instance of physical, then there exist ?LOC and ?TIME such that ?PHYS is located at ?LOC and ?PHYS exists during ?TIME

consequent

( ! [V__X,V__ATTR] : ((s__attribute(V__X,V__ATTR) & s__instance(V__ATTR,s__AmbienceAttribute)) => s__instance(V__X,s__Physical)) )	Dining.kif 1020-1024	If ?ATTR is an attribute of ?X and ?ATTR is an instance of ambience, then ?X 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 24259-24267	If historical is an attribute of ?X and ?X is an instance of city, then there exists ?EV such that ?EV is an instance of physical and historical is an attribute of ?EV and ?EV is located at 2
( ! [V__BIDDING,V__FORMULA,V__AMOUNT,V__BUYER] : ((s__instance(V__BIDDING,s__Bidding) & s__patient(V__BIDDING,V__FORMULA) & s__amountOfBid(V__BIDDING,V__AMOUNT)) => (? [V__ITEM] : (s__instance(V__ITEM,s__Physical) & (V__FORMULA = (? [V__BUYING] : (s__instance(V__BUYING,s__Buying) & s__agent(V__BUYING,V__BUYER) & s__patient(V__BUYING,V__ITEM) & s__transactionAmount(V__BUYING,V__AMOUNT))))))) )	UXExperimentalTerms.kif 1589-1604	If ?BIDDING is an instance of bidding and ?FORMULA is a patient of ?BIDDING and ?AMOUNT is the bid of ?BIDDING, then there exists ?ITEM such that ?ITEM is an instance of physical and ?FORMULA is equal to there exists ?BUYING such that ?BUYING is an instance of buying and ?BUYER is an agent of ?BUYING and ?ITEM is a patient of ?BUYING and ?AMOUNT is a transaction amount of ?BUYING
( ! [V__BIDDING,V__FORMULA,V__BUYER] : ((s__instance(V__BIDDING,s__Bidding) & s__patient(V__BIDDING,V__FORMULA)) => (? [V__ITEM,V__AMOUNT] : (s__instance(V__ITEM,s__Physical) & s__instance(V__AMOUNT,s__CurrencyMeasure) & (V__FORMULA = (? [V__BUYING] : (s__instance(V__BUYING,s__Buying) & s__agent(V__BUYING,V__BUYER) & s__patient(V__BUYING,V__ITEM) & s__transactionAmount(V__BUYING,V__AMOUNT))))))) )	UXExperimentalTerms.kif 1555-1570	If ?BIDDING is an instance of bidding and ?FORMULA is a patient of ?BIDDING, then there exist ?ITEM and ?AMOUNT such that ?ITEM is an instance of physical and ?AMOUNT is an instance of currency measure and ?FORMULA is equal to there exists ?BUYING such that ?BUYING is an instance of buying and ?BUYER is an agent of ?BUYING and ?ITEM is a patient of ?BUYING and ?AMOUNT is a transaction amount of ?BUYING
( ! [V__COLL,V__ITEM,V__BUYING] : ((s__instance(V__COLL,s__Collection) & (! [V__MEMBER] : (s__member(V__MEMBER,V__COLL) => s__instance(V__MEMBER,s__FinancialTransaction)))) => (s__CardinalityFn(s__KappaFn(V__ITEM,'(s__instance(V__ITEM,s__Physical) & s__instance(V__BUYING,s__Buying) & s__member(V__BUYING,V__COLL) & s__patient(V__BUYING,V__ITEM))')) = s__BoughtItemsFn(V__COLL))) )	UXExperimentalTerms.kif 3094-3109	If ?COLL is an instance of collection and for all ?MEMBER if ?MEMBER is a member of ?COLL, then ?MEMBER is an instance of financial transaction , then the number of instances in the class described by ?ITEM is equal to number of items purchased in ?COLL
( ! [V__COLL,V__BIDDING,V__ITEM,V__LISTING] : ((s__instance(V__COLL,s__Collection) & (! [V__MEMBER] : (s__member(V__MEMBER,V__COLL) => s__instance(V__MEMBER,s__WebListing)))) => (s__CardinalityFn(s__KappaFn(V__BIDDING,'(s__instance(V__ITEM,s__Physical) & s__instance(V__LISTING,s__WebListing) & s__instance(V__BIDDING,s__Bidding) & s__member(V__LISTING,V__COLL) & s__objectOfBid(V__BIDDING,V__ITEM) & s__patient(V__LISTING,V__ITEM))')) = s__BidCountFn(V__COLL))) )	UXExperimentalTerms.kif 3128-3145	If ?COLL is an instance of collection and for all ?MEMBER if ?MEMBER is a member of ?COLL, then ?MEMBER is an instance of web listing , then the number of instances in the class described by ?BIDDING is equal to number of bids in ?COLL
( ! [V__COLL,V__LISTING,V__SITE,V__ITEM] : ((s__instance(V__COLL,s__Collection) & (! [V__MEMBER] : (s__member(V__MEMBER,V__COLL) => s__instance(V__MEMBER,s__WebListing)))) => (divide(s__CardinalityFn(s__KappaFn(V__LISTING,'(s__instance(V__LISTING,s__WebListing) & s__instance(V__SITE,s__WebSite) & s__instance(V__ITEM,s__Physical) & s__member(V__LISTING,V__COLL) & s__patient(V__LISTING,V__ITEM) & s__hostedOn(V__LISTING,V__SITE) & (? [V__BUYING] : (s__instance(V__BUYING,s__Buying) & s__patient(V__BUYING,V__ITEM) & s__eCommerceSite(V__BUYING,V__SITE))))')) ,s__CardinalityFn(V__COLL)) = s__BidCountFn(V__COLL))) )	UXExperimentalTerms.kif 3053-3077	If ?COLL is an instance of collection and for all ?MEMBER if ?MEMBER is a member of ?COLL, then ?MEMBER is an instance of web listing , then the number of instances in the class described by ?LISTING and the number of instances in ?COLL is equal to number of bids in ?COLL
( ! [V__AGENT,V__THING] : ((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(s__dislikes__m,s__ObjectAttitude) & s__dislikes(V__AGENT,V__THING)) => s__instance(V__THING,s__Physical)) ) ( ! [V__AGENT,V__THING] : ((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(s__needs__m,s__ObjectAttitude) & s__needs(V__AGENT,V__THING)) => s__instance(V__THING,s__Physical)) )	Merge.kif 2878-2882	If ?REL is an instance of object attitude and ?REL ?AGENT and ?THING, then ?THING is an instance of physical
( ! [V__X] : (s__attribute(V__X,s__Historical) => s__instance(V__X,s__Physical)) )	Mid-level-ontology.kif 24251-24253	If historical is an attribute of ?X, then ?X 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__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 308-323	If ?CHARGE is an instance of final fee, then there exist ?ADVERT, ?SELLING,, , ?OWNER,, , ?ITEM and ?SITE such that ?ADVERT is an instance of web listing and ?SELLING is an instance of selling and ?OWNER is an instance of agent and ?ITEM is an instance of physical and ?ADVERT is an instance of web listing and ?ITEM is a patient of ?ADVERT and ?ITEM is a patient of ?SELLING and ?SELLING causes ?CHARGE and ?OWNER is an agent of ?CHARGE and ?ADVERT is hosted on ?SITE and ?OWNER possesses ?SITE and ?OWNER facilitates ?SELLING
( ! [V__RA] : (s__instance(V__RA,s__RepresentationalArtWork) => (? [V__P] : (s__instance(V__P,s__Physical) & s__represents(V__RA,V__P)))) )	Merge.kif 15899-15904	If ?RA is an instance of representational art work, then there exists ?P such that ?P is an instance of physical and ?RA expresses ?P
( ! [V__S] : (s__instance(V__S,s__Searching) => (? [V__AGENT,V__OBJ,V__LOC] : (s__instance(V__AGENT,s__CognitiveAgent) & s__agent(V__S,V__AGENT) & s__instance(V__OBJ,s__Physical) & s__patient(V__S,V__OBJ) & s__instance(V__LOC,s__Object) & s__located(V__OBJ,V__LOC) & s__hasPurposeForAgent(V__S,'s__knows(V__AGENT,s__located(V__OBJ,V__LOC))',V__AGENT)))) )	Merge.kif 12769-12781	If ?S is an instance of Searching, then there exist ?AGENT, ?OBJ and ?LOC such that ?AGENT is an instance of cognitive agent and ?AGENT is an agent of ?S and ?OBJ is an instance of physical and ?OBJ is a patient of ?S and ?LOC is an instance of object and ?OBJ is located at ?LOC and ?S has purpose ?AGENT knows ?OBJ is located at ?LOC for ?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 900-905	If ?VIEW is an instance of view, then there exists ?ENTITY such that ?ENTITY is an instance of physical and ?VIEW expresses ?ENTITY
( ! [V__DATABASE,V__WEBSITE,V__PRODUCTS,V__BUYING] : (s__siteCatalog(V__DATABASE,V__WEBSITE) => (? [V__PART] : (s__instance(V__PRODUCTS,s__Collection) & s__part(V__PART,V__DATABASE) & s__represents(V__PART,V__PRODUCTS) & (! [V__MEMBER] : (s__member(V__MEMBER,V__PRODUCTS) => (s__instance(V__MEMBER,s__Physical) & s__capability(s__KappaFn(V__BUYING,'(s__instance(V__BUYING,s__Buying) & s__eCommerceSite(V__BUYING,V__WEBSITE))') ,s__patient__m,V__MEMBER))))))) )	UXExperimentalTerms.kif 2449-2466	If ?DATABASE is the catalog for ?WEBSITE, then there exists ?PART such that ?PRODUCTS is an instance of collection and ?PART is a part of ?DATABASE and ?PART expresses ?PRODUCTS and for all ?MEMBER if ?MEMBER is a member of ?PRODUCTS, then ?MEMBER is an instance of physical and ?MEMBER is capable of doing the class described by ?BUYING 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

KB Term:			Term intersection

English Word: