Physical - Sigma 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 800-802
(partition Physical Object Process)	Merge.kif 798-798	partition Physical, Object and Process
(subclass Physical Entity)	Merge.kif 797-797	subclass Physical and Entity

appearance as argument number 2

(partition Entity Physical Abstract)	Merge.kif 781-781	partition Entity, Physical and Abstract
(subclass ContentBearingPhysical Physical)	Merge.kif 1198-1198	subclass ContentBearingPhysical and Physical
(subclass FinancialAsset Physical)	FinancialOntology.kif 41-41	subclass FinancialAsset and Physical
(subclass Object Physical)	Merge.kif 811-811	subclass Object and Physical
(subclass PhysicalSystem Physical)	Merge.kif 5772-5772	subclass PhysicalSystem and Physical
(subclass Process Physical)	Merge.kif 1526-1526	subclass Process and Physical
(termFormat ChineseLanguage Physical "物理")	chinese_format.kif 814-814
(termFormat EnglishLanguage Physical "physical")	english_format.kif 835-835

appearance as argument number 3

(domain WhenFn 1 Physical)	Merge.kif 7894-7894	domain WhenFn, 1 and Physical
(domain WhereFn 1 Physical)	Merge.kif 4039-4039	domain WhereFn, 1 and Physical
(domain abstractCounterpart 2 Physical)	Merge.kif 5763-5763	domain abstractCounterpart, 2 and Physical
(domain altitude 1 Physical)	Merge.kif 7269-7269	domain altitude, 1 and Physical
(domain altitude 2 Physical)	Merge.kif 7270-7270	domain altitude, 2 and Physical
(domain anniversary 1 Physical)	Mid-level-ontology.kif 21954-21954	domain anniversary, 1 and Physical
(domain attitudeForObject 3 Physical)	emotion.kif 2018-2018	domain attitudeForObject, 3 and Physical
(domain cooccur 1 Physical)	Merge.kif 7819-7819	domain cooccur, 1 and Physical
(domain cooccur 2 Physical)	Merge.kif 7820-7820	domain cooccur, 2 and Physical
(domain courseWRTCompassNorth 1 Physical)	Geography.kif 3652-3652	domain courseWRTCompassNorth, 1 and Physical
(domain courseWRTCompassNorth 2 Physical)	Geography.kif 3653-3653	domain courseWRTCompassNorth, 2 and Physical
(domain courseWRTMagneticNorth 1 Physical)	Geography.kif 3623-3623	domain courseWRTMagneticNorth, 1 and Physical
(domain courseWRTMagneticNorth 2 Physical)	Geography.kif 3624-3624	domain courseWRTMagneticNorth, 2 and Physical
(domain courseWRTTrueNorth 1 Physical)	Geography.kif 3560-3560	domain courseWRTTrueNorth, 1 and Physical
(domain courseWRTTrueNorth 2 Physical)	Geography.kif 3561-3561	domain courseWRTTrueNorth, 2 and Physical
(domain date 1 Physical)	Merge.kif 7971-7971	domain date, 1 and Physical
(domain dateDissolved 1 Physical)	Government.kif 2496-2496	domain dateDissolved, 1 and Physical
(domain dateEstablished 1 Physical)	Mid-level-ontology.kif 1359-1359	domain dateEstablished, 1 and Physical
(domain distance 1 Physical)	Merge.kif 7247-7247	domain distance, 1 and Physical
(domain distance 2 Physical)	Merge.kif 7248-7248	domain distance, 2 and Physical
(domain evidence 2 Physical)	Law.kif 221-221	domain evidence, 2 and Physical
(domain flows 1 Physical)	Geography.kif 5106-5106	domain flows, 1 and Physical
(domain flows 2 Physical)	Geography.kif 5107-5107	domain flows, 2 and Physical
(domain hasPurpose 1 Physical)	Merge.kif 3771-3771	domain hasPurpose, 1 and Physical
(domain hasPurposeForAgent 1 Physical)	Merge.kif 3787-3787	domain hasPurposeForAgent, 1 and 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 28134-28143	buys CognitiveAgent, CognitiveAgent and Entity instance Entity and Physical Process instance Process and Buying patient Process and Entity agent Process and CognitiveAgent origin Process and CognitiveAgent
(=> (and (holdsDuring ?INTERVAL (?REL ?INST1 ?INST2)) (instance ?INST1 Physical) (instance ?INST2 Physical)) (and (time ?INST1 ?INTERVAL) (time ?INST2 ?INTERVAL)))	Merge.kif 7519-7526	holdsDuring TimePosition and entity Physical and Physical instance Physical and Physical instance Physical and Physical time Physical and TimePosition time Physical and TimePosition
(=> (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 322-337	instance Process and Buying patient Process and Entity origin Process and CognitiveAgent publishedPrice Entity, CurrencyMeasure, CognitiveAgent and PricingScheme unitPrice Entity, FunctionQuantity, CognitiveAgent and PricingScheme subclass Entity and Physical immediateInstance Entity and Entity validPaymentType PricingScheme and Payment modalAttribute PaymentMENT instance PaymentMENT and Payment subProcess PaymentMENT and Process and 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 1611-1620	instance Bidding and Bidding instance Object and Physical instance CurrencyMeasure and CurrencyMeasure instance Agent and Agent objectOfBid Bidding and Object amountOfBid Bidding and CurrencyMeasure agent Bidding and Agent bidPrice Object, CurrencyMeasure and Agent
(=> (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 2282-2295	instance CorpuscularObject and ViewItemPage instance Process and WebListing component Process and CorpuscularObject patient Process and Entity instance Entity and Physical Process Process and ProcessCONTENT instance Process and Stating patient Process and Process refers Process and Entity result Process and ProcessCONTENT part ProcessCONTENT and CorpuscularObject
(=> (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 12011-12024	instance Process and Searching patient Process and Physical instance Physical and Physical Object Agent instance Agent and CognitiveAgent agent Process and Agent instance Object and Object located Physical and Object hasPurposeForAgent Process, knows Agent and located Physical and Object and Agent
(=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE) (subclass ?ENT Physical)) (modalAttribute (=> (and (instance ?S Selling) (patient ?S ?ITEM) (immediateInstance ?ITEM ?ENT) (agent ?S ?SELLER) (destination ?S ?BUYER)) (transactionAmount ?S ?PRICE)) Promise))	Catalog.kif 262-276	negotiatedPrice Entity, CurrencyMeasure and Agreement partyToAgreement CognitiveAgent and Agreement partyToAgreement CognitiveAgent and Agreement subclass Entity and Physical modalAttribute instance entity and Selling patient entity and entity immediateInstance entity and Entity agent entity and CognitiveAgent destination entity and CognitiveAgent transactionAmount entity and CurrencyMeasure and Promise
(=> (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	offers Agent and Catalog catalogItem Entity and Catalog subclass Entity and Physical modalAttribute entity entity instance entity and Entity instance entity and Selling agent entity and Agent patient entity and entity and 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 339-355	publishedPrice Entity, CurrencyMeasure, CognitiveAgent and PricingScheme unitPrice Entity, FunctionQuantity, CognitiveAgent and PricingScheme subclass Entity and Physical immediateInstance Entity and Entity validFor PricingScheme and Agent instance Entity and Agent modalAttribute instance entity and Buying agent entity and Entity origin entity and CognitiveAgent patient entity and Entity transactionAmount entity and CurrencyMeasure and 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 357-372	publishedPrice Entity, CurrencyMeasure, CognitiveAgent and PricingScheme unitPrice Entity, FunctionQuantity, CognitiveAgent and PricingScheme subclass Entity and Physical immediateInstance Entity and Entity validityPeriod PricingScheme and TimeInterval holdsDuring TimeInterval and modalAttribute instance entity and Selling agent entity and CognitiveAgent patient entity and Entity transactionAmount entity and CurrencyMeasure and Likely
(=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE))	Mid-level-ontology.kif 23509-23514	property Physical and ShapeAttribute instance Physical and Physical instance ShapeAttribute and ShapeAttribute shape Physical and ShapeAttribute
(=> (instance ?PHYS Physical) (exists (?LOC ?TIME) (and (located ?PHYS ?LOC) (time ?PHYS ?TIME))))	Merge.kif 804-809	instance Physical and Physical Object TimePosition located Physical and Object time Physical and TimePosition

consequent

(=> (and (attribute ?X ?ATTR) (instance ?ATTR AmbienceAttribute)) (instance ?X Physical))	Dining.kif 1016-1020	attribute Object and Attribute instance Attribute and AmbienceAttribute instance Object and Physical
(=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X))))	Mid-level-ontology.kif 24713-24721	attribute Object and Historical instance Object and City Object instance Object and Physical attribute Object and Historical eventLocated Object and Object
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER FinancialTransaction)))) (equal (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Physical) (instance ?BUYING Buying) (member ?BUYING ?COLL) (patient ?BUYING ?ITEM)))) (BoughtItemsFn ?COLL)))	UXExperimentalTerms.kif 3091-3106	instance Collection and Collection Object member Object and Collection instance Object and FinancialTransaction equal CardinalityFn KappaFn SymbolicString and instance SymbolicString and Physical instance entity and Buying member entity and Collection patient entity and SymbolicString and BoughtItemsFn Collection
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (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 3125-3142	instance Collection and Collection Object member Object and Collection instance Object and WebListing equal CardinalityFn KappaFn SymbolicString and instance entity and Physical instance entity and WebListing instance SymbolicString and Bidding member entity and Collection objectOfBid SymbolicString and entity patient entity and entity and BidCountFn Collection
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (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 3050-3074	instance Collection and Collection Object member Object and Collection instance Object and WebListing equal DivisionFn CardinalityFn KappaFn SymbolicString and instance SymbolicString and WebListing instance entity and WebSite instance entity and Physical member SymbolicString and Collection patient SymbolicString and entity hostedOn SymbolicString and entity entity instance entity and Buying patient entity and entity eCommerceSite entity and entity and CardinalityFn Collection and BidCountFn Collection
(=> (and (instance ?REL ObjectAttitude) (?REL ?AGENT ?THING)) (instance ?THING Physical))	Merge.kif 2616-2620	instance Entity and ObjectAttitude Entity entity and Entity instance Entity and Physical
(=> (attribute ?X Historical) (instance ?X Physical))	Mid-level-ontology.kif 24705-24707	attribute Object and Historical instance Object and Physical
(=> (instance ?CHARGE FinalValueFee) (exists (?ADVERT ?SELLING ?OWNER ?ITEM ?SITE) (and (instance ?ADVERT WebListing) (instance ?SELLING Selling) (instance ?OWNER Agent) (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 305-320	instance Process and FinalValueFee WebListing FinancialTransaction, Agent, Entity and WebSite instance WebListing and WebListing instance FinancialTransaction and Selling instance Agent and Agent instance Entity and Physical instance WebListing and WebListing patient WebListing and Entity patient FinancialTransaction and Entity causes FinancialTransaction and Process agent Process and Agent hostedOn WebListing and WebSite possesses Agent and WebSite eCommerceSite FinancialTransaction and Agent
(=> (instance ?RA RepresentationalArtWork) (exists (?P) (and (instance ?P Physical) (represents ?RA ?P))))	Merge.kif 14691-14696	instance Entity and RepresentationalArtWork Entity instance Entity and Physical represents Entity and 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 11997-12009	instance Process and Searching Agent Physical and Object instance Agent and CognitiveAgent agent Process and Agent instance Physical and Physical patient Process and Physical instance Object and Object located Physical and Object hasPurposeForAgent Process, knows Agent and located Physical and Object and Agent
(=> (instance ?VIEW View) (exists (?ENTITY) (and (instance ?ENTITY Physical) (represents ?VIEW ?ENTITY))))	Dining.kif 896-901	instance Entity and View Entity instance Entity and Physical represents Entity and Entity
(=> (siteCatalog ?DATABASE ?WEBSITE) (exists (?PART) (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 2446-2463	siteCatalog Database and WebSite Object instance Collection and Collection part Object and Database represents Object and Collection Object member Object and Collection instance Object and Physical capability KappaFn SymbolicString and instance SymbolicString and Buying eCommerceSite SymbolicString and WebSite, patient and Object

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: