Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Object
Object(object)
acantha, accessory, add-on, adulterator, air_mass, alluvial_deposit, alluvial_sediment, alluvion, alluvium, antimatter, appendage, appendicle, appurtenance, archeological_remains, arm, assay, attachment, backup, ballast, barreled, barrelled, base, basic, bed, bezel, bight, bit, block, blockage, bodily, bond, border, bottom, branch, building_block, burden, bushing, catch, cell, chip, clog, closed_universe, closure, coast, coffee_grounds, communication, composition, computer_backup, conjunction, content...

appearance as argument number 1
-------------------------


(documentation Object ChineseLanguage "这可粗略地对应为一般物体。例子包括 正常物理对象、地理区域和 Process 的位置,在 Physical 类别 Object 的补充。 在四维本体论上, Object 的时空范畴可大致划分为与时间轴平行的空间间隔。") Merge.kif 1258-1260
(documentation Object EnglishLanguage "Corresponds roughly to the class of ordinary objects. Examples include normal physical objects, geographical regions, and locations of Processes, the complement of Objects in the Physical class. In a 4D ontology, an Object is something whose spatiotemporal extent is thought of as dividing into spatial parts roughly parallel to the time-axis.") Merge.kif 1251-1256
(documentation Object JapaneseLanguage "普通のオブジェクトのクラスにほぼ対応。 例には、通常の 物理的なオブジェクト、地理的な地域、Physical クラス内の Objects を補完する Processes の 場所など。 4Dオントロジーでは、Object は時空の範囲が時間軸にほぼ平行して部分的に分割されると 考えられる。") Merge.kif 1262-1265
(documentation Object SpanishLanguage "Corresponde aproximadamente a la clase de objetos ordinarios. Por ejemplo, incluye objetos físicos y normales, regiones geográficas y ubicaciones de Processes, el complemento de Objects en la clase Physical. En una ontología 4D, un Object es un objeto cuyo alcance espacio-temporal se piensa como dividido en tres partes espaciales que son aproximadamente paralelos al eje del tiempo.") Merge.kif 1267-1271
(externalImage Object "http://upload.wikimedia.org/wikipedia/en/thumb/e/ ee/ Elaborate_wood_box_Tom_Tanaka.JPG/ 180px-Elaborate_wood_box_Tom_Tanaka.JPG") pictureList.kif 1205-1205 "http://upload.wikimedia.org/wikipedia/en/thumb/e/ee/ Elaborate_wood_box_Tom_Tanaka.JPG/ 180px-Elaborate_wood_box_Tom_Tanaka.JPG" is a URL depicting object
(subclass Object Physical) Merge.kif 1250-1250 Object is a subclass of physical

appearance as argument number 2
-------------------------


(partition Physical Object Process) Merge.kif 1227-1227 Physical is exhaustively partitioned into object and process
(range HoleHostFn Object) Merge.kif 13703-13703 The range of hole host is an instance of object
(range HoleSkinFn Object) Merge.kif 13920-13920 The range of hole skin is an instance of object
(range LineFn Object) ComputingBrands.kif 2436-2436 The range of line is an instance of object
(range MereologicalDifferenceFn Object) Merge.kif 13571-13571 The range of mereological difference is an instance of object
(range MereologicalProductFn Object) Merge.kif 13544-13544 The range of mereological product is an instance of object
(range MereologicalSumFn Object) Merge.kif 13516-13516 The range of mereological sum is an instance of object
(rangeSubclass MakingFn Object) Merge.kif 23140-23140 The values returned by MakingFn are subclasses of object
(subclass Agent Object) Merge.kif 2476-2476 Agent is a subclass of object
(subclass Artifact Object) Merge.kif 20180-20180 Artifact is a subclass of object
(subclass AstronomicalBody Object) Merge.kif 18388-18388 Astronomical body is a subclass of object
(subclass Collection Object) Merge.kif 1968-1968 Collection is a subclass of object
(subclass ContactSite Object) Mid-level-ontology.kif 22324-22324 ContactSite is a subclass of object
(subclass Magnet Object) Cars.kif 3832-3832 Magnet is a subclass of object
(subclass PreparedFood Object) Mid-level-ontology.kif 19179-19179 Prepared food is a subclass of object
(subclass Region Object) Merge.kif 1938-1938 Region is a subclass of object
(subclass SelfConnectedObject Object) Merge.kif 1274-1274 Self connected object is a subclass of object
(subclass SphericalObject Object) Mid-level-ontology.kif 23528-23528 SphericalObject is a subclass of object
(subclass TransitwayObstacle Object) Mid-level-ontology.kif 12939-12939 Transitway obstacle is a subclass of object
(subclass TwoDimensionalObject Object) Mid-level-ontology.kif 5118-5118 Two dimensional object is a subclass of object
(termFormat ChineseLanguage Object "客体") chinese_format.kif 815-815 "客体" is the printable form of object in ChineseLanguage
(termFormat EnglishLanguage Object "object") english_format.kif 1138-1138 "object" is the printable form of object in english language
(termFormat JapaneseLanguage Object "オブジェクト") english_format.kif 1139-1139 "オブジェクト" is the printable form of object in japanese language

appearance as argument number 3
-------------------------


(domain AccelerationFn 3 Object) Cars.kif 1276-1276 The number 3 argument of AccelerationFn is an instance of object
(domain LineFn 1 Object) ComputingBrands.kif 2434-2434 The number 1 argument of line is an instance of object
(domain LineFn 2 Object) ComputingBrands.kif 2435-2435 The number 2 argument of line is an instance of object
(domain MereologicalDifferenceFn 1 Object) Merge.kif 13569-13569 The number 1 argument of mereological difference is an instance of object
(domain MereologicalDifferenceFn 2 Object) Merge.kif 13570-13570 The number 2 argument of mereological difference is an instance of object
(domain MereologicalProductFn 1 Object) Merge.kif 13542-13542 The number 1 argument of mereological product is an instance of object
(domain MereologicalProductFn 2 Object) Merge.kif 13543-13543 The number 2 argument of mereological product is an instance of object
(domain MereologicalSumFn 1 Object) Merge.kif 13514-13514 The number 1 argument of mereological sum is an instance of object
(domain MereologicalSumFn 2 Object) Merge.kif 13515-13515 The number 2 argument of mereological sum is an instance of object
(domain absorbedDose 1 Object) MilitaryProcesses.kif 859-859 The number 1 argument of absorbed dose is an instance of object
(domain adjacentOrientation 1 Object) Hotel.kif 902-902 The number 1 argument of adjacent orientation is an instance of object
(domain advertisedOn 1 Object) UXExperimentalTerms.kif 240-240 The number 1 argument of advertised on is an instance of object
(domain airTemperature 1 Object) Mid-level-ontology.kif 23592-23592 The number 1 argument of air temperature is an instance of object
(domain anthem 2 Object) Music.kif 360-360 The number 2 argument of anthem is an instance of object
(domain askPrice 1 Object) FinancialOntology.kif 1864-1864 The number 1 argument of ask price is an instance of object
(domain attribute 1 Object) Merge.kif 2773-2773 The number 1 argument of attribute is an instance of object
(domain axis 1 Object) Mid-level-ontology.kif 15025-15025 The number 1 argument of axis is an instance of object
(domain axis 2 Object) Mid-level-ontology.kif 15026-15026 The number 2 argument of axis is an instance of object
(domain barometricPressure 1 Object) Merge.kif 11268-11268 The number 1 argument of barometric pressure is an instance of object
(domain beforeOnPath 1 Object) Mid-level-ontology.kif 27946-27946 The number 1 argument of beforeOnPath is an instance of object
(domain beforeOnPath 2 Object) Mid-level-ontology.kif 27947-27947 The number 2 argument of beforeOnPath is an instance of object
(domain beforeOnPath 3 Object) Mid-level-ontology.kif 27948-27948 The number 3 argument of beforeOnPath is an instance of object
(domain between 1 Object) Merge.kif 6201-6201 The number 1 argument of between is an instance of object
(domain between 2 Object) Merge.kif 6202-6202 The number 2 argument of between is an instance of object
(domain between 3 Object) Merge.kif 6203-6203 The number 3 argument of between is an instance of object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (and
        (?ROLE ?EVENT ?OBJ)
        (instance ?ROLE CaseRole)
        (instance ?EVENT Process)
        (instance ?OBJ Object))
    (playsRoleInEvent ?OBJ ?ROLE ?EVENT))
Mid-level-ontology.kif 21157-21163
(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y TemperatureAttribute)
        (instance ?X Object))
    (exists (?TEMP)
        (and
            (measure ?X ?TEMP)
            (instance ?TEMP TemperatureMeasure)
            (attribute ?TEMP ?Y))))
Mid-level-ontology.kif 23607-23616
(=>
    (and
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Object)
        (instance ?X ?PHYS))
    (confersRight
        (exists (?PROC)
            (and
                (instance ?PROC Process)
                (or
                    (resource ?PROC ?X)
                    (instrument ?PROC ?X)
                    (patient ?PROC ?X))
                (or
                    (agent ?PROC ?CUST)
                    (experiencer ?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 477-493
(=>
    (and
        (freeFunctionRoomAmenity ?FR ?PHYS)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?AGENT))
        (instance ?R Renting)
        (patient ?R ?RM)
        (destination ?R ?CUST)
        (instance ?X ?PHYS)
        (possesses ?AGENT ?X)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?CUST ?X))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))
Hotel.kif 810-831
(=>
    (and
        (freePropertyAmenity ?AGENT ?PHYS)
        (instance ?X ?PHYS)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?CUST ?X))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))
Hotel.kif 518-533
(=>
    (and
        (freeRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (instance ?O ?OBJ)
        (located ?O ?R)
        (instance ?P Process)
        (agent ?P ?GUEST)
        (or
            (patient ?P ?O)
            (instrument ?P ?O)
            (resource ?P ?O)))
    (price ?P
        (MeasureFn 0 UnitedStatesDollar) ?HOTEL))
Hotel.kif 333-348
(=>
    (and
        (functionRoomAmenity ?FR ?PHY)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?HOTEL))
        (instance ?RENT Renting)
        (patient ?RENT ?RM)
        (agent ?RENT ?HOTEL)
        (destination ?RENT ?CUST)
        (subclass ?PHY Object))
    (modalAttribute
        (exists (?O ?P)
            (and
                (instance ?O ?PHY)
                (instance ?P Process)
                (or
                    (resource ?P ?O)
                    (instrument ?P ?O)
                    (patient ?P ?O))
                (or
                    (agent ?P ?CUST)
                    (experiencer ?P ?CUST)))) Possibility))
Hotel.kif 780-801
(=>
    (and
        (guest ?CUST ?HOTEL)
        (stays ?CUST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (instance ?R ?ROOM)
        (roomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object))
    (exists (?O)
        (and
            (instance ?O ?OBJ)
            (located ?O ?R)
            (confersRight
                (exists (?PROC)
                    (and
                        (agent ?PROC ?CUST)
                        (or
                            (instrument ?PROC ?O)
                            (patient ?PROC ?O)
                            (resource ?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 289-308
(=>
    (and
        (instance ?ATC AddToCart)
        (instance ?OBJ Object)
        (patient ?ATC ?OBJ)
        (agent ?ATC ?USER))
    (exists (?COLL ?SITE ?AFTER)
        (and
            (instance ?COLL Collection)
            (instance ?SITE Website)
            (instance ?INTERVAL TimeInterval)
            (webcart ?USER ?COLL ?SITE)
            (equal
                (BeginFn ?INTERVAL)
                (EndFn ?ATC))
            (holdsDuring ?AFTER
                (member ?OBJ ?COLL)))))
UXExperimentalTerms.kif 1523-1539
(=>
    (and
        (instance ?ATC AddToCart)
        (instance ?USER Agent)
        (instance ?OBJ Object)
        (agent ?ATC ?USER)
        (patient ?ATC ?OBJ))
    (desires ?AGENT
        (exists (?BUYING)
            (and
                (instance ?BUYING Buying)
                (patient ?BUYING ?OBJ)
                (agent ?BUYING ?USER)))))
UXExperimentalTerms.kif 1509-1521
(=>
    (and
        (instance ?AUCTIONING Auctioning)
        (instance ?BIDDER1 Agent)
        (instance ?BIDDER2 Agent)
        (instance ?ITEM Object)
        (patient ?AUCTIONING ?ITEM)
        (bidPrice ?ITEM ?OFFER1 ?BIDDER1)
        (bidPrice ?ITEM ?OFFER2 ?BIDDER2)
        (greaterThan ?OFFER1 ?OFFER2))
    (destination ?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 437-447
(=>
    (and
        (instance ?AUCTIONING Auctioning)
        (instance ?ITEM Object)
        (patient ?AUCTIONING ?ITEM))
    (exists (?BIDDER ?OFFER)
        (and
            (instance ?BIDDER Agent)
            (instance ?OFFER CurrencyMeasure)
            (bidPrice ?ITEM ?OFFER ?BIDDER))))
UXExperimentalTerms.kif 426-435
(=>
    (and
        (instance ?B Blade)
        (instance ?CUT Cutting)
        (instance ?OBJ Object)
        (instrument ?CUT ?B)
        (patient ?CUT ?OBJ))
    (meetsSpatially ?B ?OBJ))
Mid-level-ontology.kif 19803-19810
(=>
    (and
        (instance ?BUYINGS Collection)
        (instance ?GMB CurrencyMeasure)
        (instance ?TOTAL RealNumber)
        (equal ?GMB
            (GMBFn ?BUYINGS))
        (equal ?TOTAL
            (CardinalityFn
                (KappaFn ?ITEM
                    (and
                        (instance ?ITEM Object)
                        (exists (?BUYING)
                            (and
                                (member ?BUYING ?BUYINGS)
                                (patient ?ITEM ?BUYING))))))))
    (equal
        (ABPFn ?BUYINGS)
        (DivisionFn ?GMB ?TOTAL)))
UXExperimentalTerms.kif 3444-3464
(=>
    (and
        (instance ?CATEG WebListingCategory)
        (instance ?LISTING1 WebListing)
        (instance ?LISTING2 WebListing)
        (instance ?ITEM1 Object)
        (instance ?ITEM2 Object)
        (member ?LISTING1 ?CATEG)
        (member ?LISTING2 ?CATEG)
        (patient ?ITEM1 ?LISTING1)
        (patient ?ITEM2 ?LISTING2))
    (exists (?CLASS)
        (and
            (instance ?CLASS Class)
            (instance ?ITEM1 ?CLASS)
            (instance ?ITEM2 ?CLASS))))
UXExperimentalTerms.kif 182-197
(=>
    (and
        (instance ?ITEM Object)
        (instance ?LISTING WebListing)
        (attribute ?LISTING ForSaleByOwner)
        (patient ?LISTING ?ITEM))
    (instance ?ITEM Vehicle))
UXExperimentalTerms.kif 463-469
(=>
    (and
        (instance ?ITEM Object)
        (instance ?LISTING WebListing)
        (instance ?OWNER Agent)
        (attribute ?LISTING ForSaleByOwner)
        (possesses ?OWNER ?ITEM))
    (instance ?OWNER Human))
UXExperimentalTerms.kif 471-478
(=>
    (and
        (instance ?L Lathe)
        (instance ?OBJ Object)
        (instrument ?PROC ?L)
        (patient ?PROC ?OBJ))
    (exists (?R)
        (and
            (instance ?R Rotating)
            (subProcess ?PROC ?R)
            (patient ?R ?OBJ)
            (agent ?R ?L))))
Economy.kif 4883-4894
(=>
    (and
        (instance ?LISTING WebListing)
        (instance ?ITEM Object)
        (instance ?CREATOR Agent)
        (attribute ?LISTING AuctionAttribute)
        (patient ?ITEM ?LISTING)
        (creator ?CREATOR ?LISTING))
    (desires ?CREATOR
        (exists (?AUCTION)
            (and
                (instance ?AUCTION Auctioning)
                (patient ?AUCTION ?ITEM)))))
UXExperimentalTerms.kif 393-405
(=>
    (and
        (instance ?OBJ Object)
        (attribute ?OBJ Pliable))
    (exists (?CHANGE)
        (and
            (instance ?CHANGE ShapeChange)
            (patient ?CHANGE ?OBJ))))
Merge.kif 22566-22573
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (exists (?SUB)
        (and
            (part ?SUB ?OBJ1)
            (located ?SUB ?OBJ2))))
Merge.kif 6081-6088
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 6075-6079
(=>
    (and
        (instance ?PLACE Object)
        (instance ?BLOW Wind)
        (measure ?BLOW
            (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))
    (surfaceWindVelocity ?PLACE
        (SpeedFn ?DIST ?TIME) ?DIRECTION))
Weather.kif 116-121
(=>
    (and
        (instance ?REL CaseRole)
        (instance ?OBJ Object)
        (?REL ?PROCESS ?OBJ))
    (exists (?TIME)
        (overlapsSpatially
            (WhereFn ?PROCESS ?TIME) ?OBJ)))
Merge.kif 13297-13303
(=>
    (and
        (instance ?REPAYMENT Repayment)
        (instance ?REPAYMENT_DESTINATION Object)
        (destination ?REPAYMENT ?REPAYMENT_DESTINATION)
        (instance ?REPAYMENT_ORIGIN Object)
        (origin ?REPAYMENT ?REPAYMENT_ORIGIN))
    (exists (?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION)
        (and
            (instance ?PAYMENT Payment)
            (instance ?PAYMENT_ORIGIN Object)
            (instance ?PAYMENT_DESTINATION Object)
            (not
                (equal ?PAYMENT ?REPAYMENT))
            (destination ?PAYMENT ?PAYMENT_DESTINATION)
            (origin ?PAYMENT ?PAYMENT_ORIGIN)
            (equal ?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION)
            (equal ?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN))))
UXExperimentalTerms.kif 2089-2106

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (and
        (attribute ?X ?ATTR)
        (instance ?ATTR SizeAttribute))
    (instance ?X Object))
Mid-level-ontology.kif 23213-23217
(=>
    (and
        (holdsDuring ?T1
            (and
                (attribute ?PERSON DislocatedCivilian)
                (inhabits ?PERSON ?RESIDENCE)
                (located ?RESIDENCE ?PLACE)))
        (instance ?PLACE GeographicArea)
        (instance ?T1 TimeInterval))
    (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES)
        (and
            (instance ?T0 TimeInterval)
            (earlier ?T0 ?T1)
            (instance ?PRIOR-RES Object)
            (instance ?PRIOR-PLACE GeopoliticalArea)
            (located ?PRIOR-RES ?PRIOR-PLACE)
            (not
                (equal ?PLACE ?PRIOR-PLACE))
            (not
                (equal ?RESIDENCE ?PRIOR-RES))
            (not
                (geographicSubregion ?PLACE ?PRIOR-PLACE))
            (not
                (geographicSubregion ?PRIOR-PLACE ?PLACE))
            (holdsDuring ?T0
                (inhabits ?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG AirTransportationIndustry))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?FLY ?PLANE)
                            (and
                                (instance ?FLY Transportation)
                                (or
                                    (patient ?FLY ?P)
                                    (and
                                        (possesses ?P ?OBJ)
                                        (patient ?FLY ?OBJ)
                                        (instance ?OBJ Object)))
                                (possesses ?ORG ?PLANE)
                                (instance ?PLANE Aircraft))) ?MEM ?P))))))
naics.kif 7962-7987
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG BuildingMaterialAndGardenEquipmentAndSuppliesDealers))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (instance ?THING Object)
                    (or
                        (capability Constructing resource ?THING)
                        (capability Agriculture resource ?THING))
                    (patient ?EV ?THING))))))
naics.kif 7249-7264
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG CouriersAndMessengers))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P ?OBJ)
                (and
                    (instance ?EV Selling)
                    (instance ?OBJ Object)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?TRANS)
                            (and
                                (instance ?TRANS Transportation)
                                (possesses ?P ?OBJ)
                                (patient ?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8661-8681
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG GeneralMerchandiseStores))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (instance ?THING Object)
                    (destination ?EV ?P)
                    (patient ?EV ?THING))))))
naics.kif 7709-7723
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG MiscellaneousManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING Object)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 6160-6176
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG MiscellaneousStoreRetailers))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?ST)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (instance ?ST RetailStore)
                    (eventLocated ?EV ?ST)
                    (instance ?THING Object)
                    (patient ?EV ?THING))))))
naics.kif 7759-7774
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG NonstoreRetailers))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (instance ?THING Object)
                    (not
                        (eventLocated ?EV RetailStore))
                    (destination ?EV ?P)
                    (patient ?EV ?THING))))))
naics.kif 7886-7902
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PostalService))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P ?OBJ)
                (and
                    (instance ?EV Selling)
                    (instance ?OBJ Object)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?TRANS)
                            (and
                                (instance ?TRANS Transportation)
                                (possesses ?P ?OBJ)
                                (patient ?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8632-8652
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG RailTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?MOVE ?RR)
                            (and
                                (instance ?MOVE Transportation)
                                (or
                                    (patient ?MOVE ?P)
                                    (and
                                        (possesses ?P ?OBJ)
                                        (patient ?MOVE ?OBJ)
                                        (instance ?OBJ Object)))
                                (possesses ?ORG ?RR)
                                (instance ?RR RailVehicle))) ?MEM ?P))))))
naics.kif 8043-8068
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG SportingGoodsHobbyBookAndMusicStores))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (instance ?THING Object)
                    (or
                        (capability Sport instrument ?THING)
                        (capability MakingMusic instrument ?THING)
                        (instance ?THING Book)
                        (instance ?THING MusicRecording)
                        (instance ?THING MusicText))
                    (patient ?EV ?THING))))))
naics.kif 7607-7625
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG TruckTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?T ?V)
                            (and
                                (instance ?T Transportation)
                                (possesses ?P ?OBJ)
                                (patient ?T ?OBJ)
                                (instance ?OBJ Object)
                                (possesses ?ORG ?V)
                                (instance ?V LandVehicle))) ?MEM ?P))))))
naics.kif 8178-8200
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG WarehousingAndStorage))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P ?OBJ)
                (and
                    (instance ?EV Selling)
                    (instance ?OBJ Object)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?B ?T)
                            (and
                                (instance ?T TimeInterval)
                                (instance ?B Building)
                                (possesses ?P ?OBJ)
                                (holdsDuring ?T
                                    (located ?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8701-8722
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG WaterTransportationIndustry))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?T ?V)
                            (and
                                (instance ?T Transportation)
                                (or
                                    (patient ?T ?P)
                                    (and
                                        (possesses ?P ?OBJ)
                                        (patient ?T ?OBJ)
                                        (instance ?OBJ Object)))
                                (possesses ?ORG ?V)
                                (instance ?V WaterVehicle))) ?MEM ?P))))))
naics.kif 8089-8114
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG WholesaleTrade))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Selling)
                    (instance ?THING Object)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 6382-6398
(=>
    (and
        (instance ?PAGE ViewItemPage)
        (instance ?SITE WebSite)
        (component ?PAGE ?SITE))
    (exists (?ITEM ?ADVERTISING)
        (and
            (instance ?ITEM Object)
            (instance ?ADVERTISING WebListing)
            (component ?ADVERTISING ?PAGE)
            (hostedOn ?ADVERTISING ?SITE)
            (patient ?ADVERTISING ?ITEM))))
UXExperimentalTerms.kif 2271-2282
(=>
    (and
        (instance ?REPAYMENT Repayment)
        (instance ?REPAYMENT_DESTINATION Object)
        (destination ?REPAYMENT ?REPAYMENT_DESTINATION)
        (instance ?REPAYMENT_ORIGIN Object)
        (origin ?REPAYMENT ?REPAYMENT_ORIGIN))
    (exists (?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION)
        (and
            (instance ?PAYMENT Payment)
            (instance ?PAYMENT_ORIGIN Object)
            (instance ?PAYMENT_DESTINATION Object)
            (not
                (equal ?PAYMENT ?REPAYMENT))
            (destination ?PAYMENT ?PAYMENT_DESTINATION)
            (origin ?PAYMENT ?PAYMENT_ORIGIN)
            (equal ?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION)
            (equal ?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN))))
UXExperimentalTerms.kif 2089-2106
(=>
    (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 17290-17303
(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (subProposition ?X Archeology)
        (realization ?R ?X))
    (exists (?D ?S ?O ?T)
        (and
            (instance ?D Discovering)
            (instance ?O Object)
            (patient ?D ?O)
            (refers ?R ?D)
            (earlier
                (WhenFn ?D)
                (WhenFn ?R))
            (age ?O ?T)
            (greaterThan ?T
                (MeasureFn 50 YearDuration))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?D))
                (or
                    (and
                        (surface ?S ?W)
                        (instance ?W BodyOfWater)
                        (orientation ?O ?S Below))
                    (and
                        (surface ?S ?L)
                        (instance ?L LandArea)
                        (orientation ?O ?S Below)))))))
Mid-level-ontology.kif 18838-18867
(=>
    (and
        (instance ?X Region)
        (attribute ?X Vacuum))
    (not
        (exists (?O)
            (and
                (instance ?O Object)
                (located ?O ?X)))))
Cars.kif 368-376
(=>
    (and
        (webcart ?USER ?COLL ?SITE)
        (member ?OBJ ?COLL))
    (instance ?OBJ Object))
UXExperimentalTerms.kif 858-862
(=>
    (attribute ?X Clean)
    (instance ?X Object))
Mid-level-ontology.kif 23477-23479
(=>
    (attribute ?X CommunalAttribute)
    (instance ?X Object))
Mid-level-ontology.kif 25415-25417
(=>
    (attribute ?X Dirty)
    (instance ?X Object))
Mid-level-ontology.kif 23481-23483

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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