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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Object

Sigma KEE - Object
Object(客体)

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


(documentation Object ChineseLanguage "这可粗略地对应为一般物体。例子包括 正常物理对象、地理区域和 Process 的位置,在 Physical 类别 Object 的补充。 在四维本体论上, Object 的时空范畴可大致划分为与时间轴平行的空间间隔。") Merge.kif 892-894
(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 886-891
(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 externalImage 客体 and "http://upload.wikimedia.org/wikipedia/en/thumb/e/ee/ Elaborate_wood_box_Tom_Tanaka.JPG/ 180px-Elaborate_wood_box_Tom_Tanaka.JPG"
(subclass Object Physical) Merge.kif 885-885 客体物理subclass

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


(partition Physical Object Process) Merge.kif 871-871 物理 详尽无遗地 partition客体过程
(range HoleHostFn Object) Merge.kif 9954-9954 洞主体函数range客体 的实例
(range HoleSkinFn Object) Merge.kif 10128-10128 洞表面函数range客体 的实例
(range LineFn Object) ComputingBrands.kif 2436-2436 线路range客体 的实例
(range MereologicalDifferenceFn Object) Merge.kif 9843-9843 部分差异函数range客体 的实例
(range MereologicalProductFn Object) Merge.kif 9821-9821 部分积函数range客体 的实例
(range MereologicalSumFn Object) Merge.kif 9798-9798 部分总和函数range客体 的实例
(rangeSubclass MakingFn Object) Merge.kif 18768-18768 MakingFn 的所得值 是 客体subclass
(subclass Agent Object) Merge.kif 1563-1563 施事体客体subclass
(subclass Artifact Object) Merge.kif 15808-15808 人工制品客体subclass
(subclass AstronomicalBody Object) Merge.kif 14016-14016 天文体客体subclass
(subclass Collection Object) Merge.kif 1294-1294 群体客体subclass
(subclass ContactSite Object) Mid-level-ontology.kif 22323-22323 ContactSite客体subclass
(subclass Magnet Object) Cars.kif 3832-3832 Magnet客体subclass
(subclass PreparedFood Object) Mid-level-ontology.kif 19178-19178 PreparedFood客体subclass
(subclass Region Object) Merge.kif 1277-1277 地区客体subclass
(subclass SelfConnectedObject Object) Merge.kif 897-897 自身连接物体客体subclass
(subclass SphericalObject Object) Mid-level-ontology.kif 23527-23527 SphericalObject客体subclass
(subclass TransitwayObstacle Object) Mid-level-ontology.kif 12938-12938 TransitwayObstacle客体subclass
(subclass TwoDimensionalObject Object) Mid-level-ontology.kif 5117-5117 TwoDimensionalObject客体subclass
(termFormat ChineseLanguage Object "客体") chinese_format.kif 815-815 termFormat ChineseLanguage, 客体 and "客体"
(termFormat EnglishLanguage Object "object") english_format.kif 506-506 termFormat EnglishLanguage, 客体 and "object"
(termFormat JapaneseLanguage Object "オブジェクト") english_format.kif 507-507 termFormat JapaneseLanguage, 客体 and "オブジェクト"

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


(domain AccelerationFn 3 Object) Cars.kif 1276-1276 AccelerationFn 的 3 数量 是 客体instance
(domain LineFn 1 Object) ComputingBrands.kif 2434-2434 线路 的 1 数量 是 客体instance
(domain LineFn 2 Object) ComputingBrands.kif 2435-2435 线路 的 2 数量 是 客体instance
(domain MereologicalDifferenceFn 1 Object) Merge.kif 9841-9841 部分差异函数 的 1 数量 是 客体instance
(domain MereologicalDifferenceFn 2 Object) Merge.kif 9842-9842 部分差异函数 的 2 数量 是 客体instance
(domain MereologicalProductFn 1 Object) Merge.kif 9819-9819 部分积函数 的 1 数量 是 客体instance
(domain MereologicalProductFn 2 Object) Merge.kif 9820-9820 部分积函数 的 2 数量 是 客体instance
(domain MereologicalSumFn 1 Object) Merge.kif 9796-9796 部分总和函数 的 1 数量 是 客体instance
(domain MereologicalSumFn 2 Object) Merge.kif 9797-9797 部分总和函数 的 2 数量 是 客体instance
(domain absorbedDose 1 Object) MilitaryProcesses.kif 859-859 absorbedDose 的 1 数量 是 客体instance
(domain adjacentOrientation 1 Object) Hotel.kif 902-902 adjacentOrientation 的 1 数量 是 客体instance
(domain advertisedOn 1 Object) UXExperimentalTerms.kif 240-240 advertisedOn 的 1 数量 是 客体instance
(domain airTemperature 1 Object) Mid-level-ontology.kif 23591-23591 airTemperature 的 1 数量 是 客体instance
(domain anthem 2 Object) Music.kif 360-360 anthem 的 2 数量 是 客体instance
(domain askPrice 1 Object) FinancialOntology.kif 1864-1864 askPrice 的 1 数量 是 客体instance
(domain attribute 1 Object) Merge.kif 1776-1776 属于 的 1 数量 是 客体instance
(domain axis 1 Object) Mid-level-ontology.kif 15024-15024 axis 的 1 数量 是 客体instance
(domain axis 2 Object) Mid-level-ontology.kif 15025-15025 axis 的 2 数量 是 客体instance
(domain barometricPressure 1 Object) Merge.kif 8018-8018 barometricPressure 的 1 数量 是 客体instance
(domain beforeOnPath 1 Object) Mid-level-ontology.kif 27945-27945 beforeOnPath 的 1 数量 是 客体instance
(domain beforeOnPath 2 Object) Mid-level-ontology.kif 27946-27946 beforeOnPath 的 2 数量 是 客体instance
(domain beforeOnPath 3 Object) Mid-level-ontology.kif 27947-27947 beforeOnPath 的 3 数量 是 客体instance
(domain between 1 Object) Merge.kif 4282-4282 之间 的 1 数量 是 客体instance
(domain between 2 Object) Merge.kif 4283-4283 之间 的 2 数量 是 客体instance
(domain between 3 Object) Merge.kif 4284-4284 之间 的 3 数量 是 客体instance

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 21156-21162
(=>
    (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 23606-23615
(=>
    (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 19802-19809
(=>
    (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 18194-18201
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (exists (?SUB)
        (and
            (part ?SUB ?OBJ1)
            (located ?SUB ?OBJ2))))
Merge.kif 4185-4192
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))
Merge.kif 4179-4183
(=>
    (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 9619-9625
(=>
    (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 23212-23216
(=>
    (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 12919-12932
(=>
    (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 18837-18866
(=>
    (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 23476-23478
(=>
    (attribute ?X CommunalAttribute)
    (instance ?X Object))
Mid-level-ontology.kif 25414-25416
(=>
    (attribute ?X Dirty)
    (instance ?X Object))
Mid-level-ontology.kif 23480-23482

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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