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 835-837
(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 833-833	Physical wird vollstaendig in Object und Process verteilt
(subclass Physical Entity)	Merge.kif 832-832	Physical ist eine teilkategorie von Entity

appearance as argument number 2

(partition Entity Physical Abstract)	Merge.kif 816-816	Entity wird vollstaendig in Physical und Abstract verteilt
(subclass ContentBearingPhysical Physical)	Merge.kif 1304-1304	ContentBearingPhysical ist eine teilkategorie von Physical
(subclass FinancialAsset Physical)	FinancialOntology.kif 41-41	FinancialAsset ist eine teilkategorie von Physical
(subclass Object Physical)	Merge.kif 846-846	Object ist eine teilkategorie von Physical
(subclass PhysicalSystem Physical)	Merge.kif 6121-6121	PhysicalSystem ist eine teilkategorie von Physical
(subclass Process Physical)	Merge.kif 1622-1622	Process ist eine teilkategorie von Physical
(termFormat ChineseLanguage Physical "物理")	chinese_format.kif 814-814
(termFormat EnglishLanguage Physical "physical")	english_format.kif 830-830
(termFormat FrenchLanguage Physical "physique")	french_format.kif 490-490
(termFormat Hindi Physical "bhOtika vaswu")	terms-hindi.txt 24-24
(termFormat ItalianLanguage Physical "Entit�Concreta")	terms-it.txt 26-26
(termFormat JapaneseLanguage Physical "物理")	japanese_format.kif 2175-2175
(termFormat PortugueseLanguage Physical "Fisico")	portuguese_format.kif 442-442
(termFormat cb Physical "sa lawas")	terms-cb.txt 27-27
(termFormat cz Physical "fyzick� objekt")	terms-cz.txt 57-57
(termFormat ro Physical "fizic")	relations-ro.kif 511-511
(termFormat tg Physical "materyal")	terms-tg.txt 27-27

appearance as argument number 3

(domain WhenFn 1 Physical)	Merge.kif 8468-8468	Die Zahl 1 Argument von WhenFn ist ein fall von Physical %n{nicht}
(domain WhereFn 1 Physical)	Merge.kif 4222-4222	Die Zahl 1 Argument von WoFn ist ein fall von Physical %n{nicht}
(domain abstractCounterpart 2 Physical)	Merge.kif 6112-6112	Die Zahl 2 Argument von abstractCounterpart ist ein fall von Physical %n{nicht}
(domain altitude 1 Physical)	Merge.kif 7702-7702	Die Zahl 1 Argument von altitude ist ein fall von Physical %n{nicht}
(domain altitude 2 Physical)	Merge.kif 7703-7703	Die Zahl 2 Argument von altitude ist ein fall von Physical %n{nicht}
(domain anniversary 1 Physical)	Mid-level-ontology.kif 24181-24181	Die Zahl 1 Argument von anniversary ist ein fall von Physical %n{nicht}
(domain attitudeForObject 3 Physical)	emotion.kif 2120-2120	Die Zahl 3 Argument von attitudeForObject ist ein fall von Physical %n{nicht}
(domain cooccur 1 Physical)	Merge.kif 8389-8389	Die Zahl 1 Argument von cooccur ist ein fall von Physical %n{nicht}
(domain cooccur 2 Physical)	Merge.kif 8390-8390	Die Zahl 2 Argument von cooccur ist ein fall von Physical %n{nicht}
(domain courseWRTCompassNorth 1 Physical)	Geography.kif 3817-3817	Die Zahl 1 Argument von courseWRTCompassNorth ist ein fall von Physical %n{nicht}
(domain courseWRTCompassNorth 2 Physical)	Geography.kif 3818-3818	Die Zahl 2 Argument von courseWRTCompassNorth ist ein fall von Physical %n{nicht}
(domain courseWRTMagneticNorth 1 Physical)	Geography.kif 3785-3785	Die Zahl 1 Argument von courseWRTMagneticNorth ist ein fall von Physical %n{nicht}
(domain courseWRTMagneticNorth 2 Physical)	Geography.kif 3786-3786	Die Zahl 2 Argument von courseWRTMagneticNorth ist ein fall von Physical %n{nicht}
(domain courseWRTTrueNorth 1 Physical)	Geography.kif 3722-3722	Die Zahl 1 Argument von courseWRTTrueNorth ist ein fall von Physical %n{nicht}
(domain courseWRTTrueNorth 2 Physical)	Geography.kif 3723-3723	Die Zahl 2 Argument von courseWRTTrueNorth ist ein fall von Physical %n{nicht}
(domain date 1 Physical)	Merge.kif 8544-8544	Die Zahl 1 Argument von date ist ein fall von Physical %n{nicht}
(domain dateDissolved 1 Physical)	Government.kif 2555-2555	Die Zahl 1 Argument von dateDissolved ist ein fall von Physical %n{nicht}
(domain dateEstablished 1 Physical)	Mid-level-ontology.kif 978-978	Die Zahl 1 Argument von dateEstablished ist ein fall von Physical %n{nicht}
(domain distance 1 Physical)	Merge.kif 7680-7680	Die Zahl 1 Argument von distance ist ein fall von Physical %n{nicht}
(domain distance 2 Physical)	Merge.kif 7681-7681	Die Zahl 2 Argument von distance ist ein fall von Physical %n{nicht}
(domain evidence 2 Physical)	Law.kif 178-178	Die Zahl 2 Argument von evidence ist ein fall von Physical %n{nicht}
(domain flows 1 Physical)	Geography.kif 5428-5428	Die Zahl 1 Argument von flows ist ein fall von Physical %n{nicht}
(domain flows 2 Physical)	Geography.kif 5429-5429	Die Zahl 2 Argument von flows ist ein fall von Physical %n{nicht}
(domain hasPurpose 1 Physical)	Merge.kif 3945-3945	Die Zahl 1 Argument von hatZweck ist ein fall von Physical %n{nicht}
(domain hasPurposeForAgent 1 Physical)	Merge.kif 3961-3961	Die Zahl 1 Argument von hatZweckFuerAgent ist ein fall von Physical %n{nicht}

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 29963-29972	Wenn buys CognitiveAgent, AutonomousAgent and Entity und Entity ist ein fall von Physical %n{nicht}, dann es gibt Process um Process ist ein fall von Buying %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Process beginnet an AutonomousAgent %n{nicht}
(=> (and (holdsDuring ?INTERVAL (?REL ?INST1 ?INST2)) (instance ?INST1 Physical) (instance ?INST2 Physical)) (and (time ?INST1 ?INTERVAL) (time ?INST2 ?INTERVAL)))	Merge.kif 7960-7967	Wenn entity Physical and Physical haelt waehrend TimePosition %n{nicht} und Physical ist ein fall von Physical %n{nicht} und Physical ist ein fall von Physical %n{nicht}, dann Physical besteht waehrend TimePosition %n{nicht} und Physical besteht waehrend ** TimePosition %n{nicht}
(=> (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	Wenn Process ist ein fall von Buying %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process beginnet an CognitiveAgent %n{nicht} und publishedPrice Entity, CurrencyMeasure, CognitiveAgent and PricingScheme oder unitPrice Entity, FunctionQuantity, CognitiveAgent and PricingScheme und Entity ist eine teilkategorie von Physical und Entity ist ein direkter fall von Entity und validPaymentType PricingScheme and Payment, dann die Aussage es gibt PaymentMENT um PaymentMENT ist ein fall von Payment %n{nicht} und PaymentMENT ist ein subProzess von Process hat die modale Kraft von 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	Wenn Bidding ist ein fall von Bidding %n{nicht} und Object ist ein fall von Physical %n{nicht} und CurrencyMeasure ist ein fall von CurrencyMeasure %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und objectOfBid Bidding and Object und amountOfBid Bidding and CurrencyMeasure und Bidding ist der agent von AutonomousAgent %n{nicht}, dann bidPrice Object, CurrencyMeasure and AutonomousAgent
(=> (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	Wenn CorpuscularObject ist ein fall von ViewItemPage %n{nicht} und Process ist ein fall von WebListing %n{nicht} und Process ist ein bestandteil von CorpuscularObject %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Physical %n{nicht}, dann es gibt Process, Process, and und ProcessCONTENT um Process ist ein fall von Stating %n{nicht} und Process ist ein patient von Process %n{nicht} und Process umfasst einen hinweis auf Entity und ProcessCONTENT ist ein resultat von Process %n{nicht} und ProcessCONTENT ist ein teil von CorpuscularObject %n{nicht}
(=> (and (instance ?REL BinaryPredicate) (instance ?REL SpatialRelation) (instance ?OBJ1 Physical) (instance ?OBJ2 Physical) (?REL ?OBJ1 ?OBJ2)) (overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))	Merge.kif 8249-8256	Wenn Entity ist ein fall von BinaryPredicate %n{nicht} und Entity ist ein fall von SpatialRelation %n{nicht} und Physical ist ein fall von Physical %n{nicht} und Physical ist ein fall von Physical %n{nicht} und Entity Physical and Physical, dann die zeit des Bestehens von Physical deckt sich mit die zeit des Bestehens von ** Physical %n{nicht}
(=> (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 12984-12997	Wenn Process ist ein fall von Searching %n{nicht} und Physical ist ein patient von Process %n{nicht} und Physical ist ein fall von Physical %n{nicht}, dann es gibt Object und AutonomousAgent um AutonomousAgent ist ein fall von CognitiveAgent %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein fall von Object %n{nicht} und Physical befindet sich an %n{nicht} und Process hat Zweck von AutonomousAgent kennt Physical befindet sich an %n{nicht} %n{nicht} fuer ** AutonomousAgent %n{nicht}
(=> (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	Wenn offers AutonomousAgent and Catalog und catalogItem Entity and Catalog und Entity ist eine teilkategorie von Physical, dann die Aussage es gibt entity und entity um entity ist ein fall von Entity %n{nicht} und entity ist ein fall von Selling %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und entity ist ein patient von entity %n{nicht} hat die modale Kraft von 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	Wenn publishedPrice Entity, CurrencyMeasure, CognitiveAgent and PricingScheme oder unitPrice Entity, FunctionQuantity, CognitiveAgent and PricingScheme und Entity ist eine teilkategorie von Physical und Entity ist ein direkter fall von Entity und validFor PricingScheme and AutonomousAgent und Entity ist ein fall von AutonomousAgent %n{nicht}, dann die Aussage wenn entity ist ein fall von Buying %n{nicht} und entity ist der agent von Entity %n{nicht} und entity beginnet an CognitiveAgent %n{nicht} und Entity ist ein patient von entity %n{nicht}, dann transactionAmount entity and CurrencyMeasure hat die modale Kraft von 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	Wenn publishedPrice Entity, CurrencyMeasure, CognitiveAgent and PricingScheme oder unitPrice Entity, FunctionQuantity, CognitiveAgent and PricingScheme und Entity ist eine teilkategorie von Physical und Entity ist ein direkter fall von Entity und validityPeriod PricingScheme and TimeInterval, dann die Aussage wenn entity ist ein fall von Selling %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht} und Entity ist ein patient von entity %n{nicht}, dann transactionAmount entity and CurrencyMeasure hat die modale Kraft von Likely haelt waehrend TimeInterval %n{nicht}
(=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE))	Mid-level-ontology.kif 25580-25585	Wenn Physical hat ein attribut ShapeAttribute %n{nicht} und Physical ist ein fall von Physical %n{nicht} und ShapeAttribute ist ein fall von ShapeAttribute %n{nicht}, dann shape Physical and ShapeAttribute
(=> (instance ?PHYS Physical) (exists (?LOC ?TIME) (and (located ?PHYS ?LOC) (time ?PHYS ?TIME))))	Merge.kif 839-844	Wenn Physical ist ein fall von Physical %n{nicht}, dann es gibt Object und TimePosition um Physical befindet sich an %n{nicht} und Physical besteht waehrend ** TimePosition %n{nicht}

consequent

(=> (and (attribute ?X ?ATTR) (instance ?ATTR AmbienceAttribute)) (instance ?X Physical))	Dining.kif 1066-1070	Wenn Attribute ist ein attribut von Object %n{nicht} und Attribute ist ein fall von AmbienceAttribute %n{nicht}, dann Object ist ein fall von Physical %n{nicht}
(=> (and (attribute ?X Historical) (instance ?X City)) (exists (?EV) (and (instance ?EV Physical) (attribute ?EV Historical) (eventLocated ?EV ?X))))	Mid-level-ontology.kif 26594-26602	Wenn Historical ist ein attribut von Object %n{nicht} und Object ist ein fall von City %n{nicht}, dann es gibt Object um Object ist ein fall von Physical %n{nicht} und Historical ist ein attribut von Object %n{nicht} und eventLocated Object and ** 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	Wenn Collection ist ein fall von Collection %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von FinancialTransaction %n{nicht} , dann es gibt SymbolicString und entity um die Zahl Faellen in die kategorie die SymbolicString beschreibt ist gleich BoughtItemsFn ** Collection %n{nicht}
(=> (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	Wenn Collection ist ein fall von Collection %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von WebListing %n{nicht} , dann die Zahl Faellen in es gibt entity, entity, and und entity um die kategorie die entity beschreibt und die Zahl Faellen in Collection ist gleich BidCountFn Collection %n{nicht}
(=> (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	Wenn Collection ist ein fall von Collection %n{nicht} und fuer alle Physical wenn Physical ist ein Mitglied von Collection %n{nicht}, dann Physical ist ein fall von WebListing %n{nicht} , dann es gibt SymbolicString, entity,, , entity, and und SymbolicString um die Zahl Faellen in die kategorie die SymbolicString beschreibt ist gleich BidCountFn ** Collection %n{nicht}
(=> (and (instance ?REL ObjectAttitude) (?REL ?AGENT ?THING)) (instance ?THING Physical))	Merge.kif 2715-2719	Wenn Entity ist ein fall von ObjectAttitude %n{nicht} und Entity entity and Entity, dann ** Entity ist ein fall von Physical %n{nicht}
(=> (attribute ?X Historical) (instance ?X Physical))	Mid-level-ontology.kif 26586-26588	Wenn Historical ist ein attribut von Object %n{nicht}, dann ** Object ist ein fall von Physical %n{nicht}
(=> (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	Wenn Process ist ein fall von FinalValueFee %n{nicht}, dann es gibt WebListing, FinancialTransaction,, , AutonomousAgent,, , Entity, and und WebSite um WebListing ist ein fall von WebListing %n{nicht} und FinancialTransaction ist ein fall von Selling %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und Entity ist ein fall von Physical %n{nicht} und WebListing ist ein fall von WebListing %n{nicht} und Entity ist ein patient von WebListing %n{nicht} und Entity ist ein patient von FinancialTransaction %n{nicht} und FinancialTransaction verursacht Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und hostedOn WebListing and WebSite und AutonomousAgent besitzt WebSite %n{nicht} und eCommerceSite FinancialTransaction and ** AutonomousAgent
(=> (instance ?RA RepresentationalArtWork) (exists (?P) (and (instance ?P Physical) (represents ?RA ?P))))	Merge.kif 15872-15877	Wenn Entity ist ein fall von RepresentationalArtWork %n{nicht}, dann es gibt Entity um Entity ist ein fall von Physical %n{nicht} und Entity drueckt Entity aus
(=> (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 12970-12982	Wenn Process ist ein fall von Searching %n{nicht}, dann es gibt AutonomousAgent, Physical, and und Object um AutonomousAgent ist ein fall von CognitiveAgent %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Physical ist ein fall von Physical %n{nicht} und Physical ist ein patient von Process %n{nicht} und Object ist ein fall von Object %n{nicht} und Physical befindet sich an %n{nicht} und Process hat Zweck von AutonomousAgent kennt Physical befindet sich an %n{nicht} %n{nicht} fuer AutonomousAgent %n{nicht}
(=> (instance ?VIEW View) (exists (?ENTITY) (and (instance ?ENTITY Physical) (represents ?VIEW ?ENTITY))))	Dining.kif 943-948	Wenn Entity ist ein fall von View %n{nicht}, dann es gibt Entity um Entity ist ein fall von Physical %n{nicht} und Entity drueckt Entity aus
(=> (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	Wenn siteCatalog Database and WebSite, dann es gibt Object, Collection, and und SymbolicString um Collection ist ein fall von Collection %n{nicht} und Object ist ein teil von Database %n{nicht} und Object drueckt Collection aus und fuer alle Object wenn Object ist ein Mitglied von Collection %n{nicht}, dann Object ist ein fall von Physical %n{nicht} und Object ist faehig %n{nicht}, in der Rolle patient die kategorie die SymbolicString beschreibt zu tun

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

KB Term:			Term intersection

English Word: