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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Set

Sigma KEE - Object
Object(オブジェクト)

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


(documentation Object ChineseLanguage "这可粗略地对应为一般物体。例子包括 正常物理对象、地理区域和 Process 的位置,在 Physical 类别 Object 的补充。 在四维本体论上, Object 的时空范畴可大致划分为与时间轴平行的空间间隔。") chinese_format.kif 1552-1554
(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 847-852
(documentation Object JapaneseLanguage "普通のオブジェクトのクラスにほぼ対応。 例には、通常の 物理的なオブジェクト、地理的な地域、Physical クラス内の Objects を補完する Processes の 場所など。 4Dオントロジーでは、Object は時空の範囲が時間軸にほぼ平行して部分的に分割されると 考えられる。") japanese_format.kif 122-125
(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.") spanish_format.kif 141-145
(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 1204-1204
(subclass Object Physical) Merge.kif 846-846 オブジェクト物理subclass では %n

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


(partition Physical Object Process) Merge.kif 833-833 物理オブジェクト + 工程exhaustively partitioned %n
(range HoleHostFn Object) Merge.kif 9928-9928 HoleHostFnrangeオブジェクト のインスタンス では %n
(range HoleSkinFn Object) Merge.kif 10069-10069 HoleSkinFnrangeオブジェクト のインスタンス では %n
(range LineFn Object) ComputingBrands.kif 2626-2626 ラインrangeオブジェクト のインスタンス では %n
(range MereologicalDifferenceFn Object) Merge.kif 9831-9831 MereologicalDifferenceFnrangeオブジェクト のインスタンス では %n
(range MereologicalProductFn Object) Merge.kif 9810-9810 MereologicalProductFnrangeオブジェクト のインスタンス では %n
(range MereologicalSumFn Object) Merge.kif 9788-9788 MereologicalSumFnrangeオブジェクト のインスタンス では %n
(rangeSubclass AttrFn Object) Merge.kif 1776-1776 AttrFn が返す値は オブジェクトsubclasses では %n
(rangeSubclass MakingFn Object) Merge.kif 18372-18372 MakingFn が返す値は オブジェクトsubclasses では %n
(rangeSubclass OrganicObjectFn Object) Economy.kif 5250-5250 OrganicObjectFn が返す値は オブジェクトsubclasses では %n
(subclass Artifact Object) Merge.kif 15681-15681 アーチファクトオブジェクトsubclass では %n
(subclass AstronomicalBody Object) Merge.kif 14022-14022 天体オブジェクトsubclass では %n
(subclass AutonomousAgent Object) Merge.kif 1556-1556 AutonomousAgentオブジェクトsubclass では %n
(subclass Collection Object) Merge.kif 1261-1261 コレクションオブジェクトsubclass では %n
(subclass ContactSite Object) Mid-level-ontology.kif 24553-24553 ContactSiteオブジェクトsubclass では %n
(subclass Magnet Object) Cars.kif 3866-3866 Magnetオブジェクトsubclass では %n
(subclass Region Object) Merge.kif 1251-1251 地域オブジェクトsubclass では %n
(subclass SelfConnectedObject Object) Merge.kif 862-862 自己接続オブジェクトオブジェクトsubclass では %n
(subclass SphericalObject Object) Mid-level-ontology.kif 25611-25611 SphericalObjectオブジェクトsubclass では %n
(subclass TornadoDamage Object) Weather.kif 2068-2068 TornadoDamageオブジェクトsubclass では %n
(subclass TransitwayObstacle Object) Mid-level-ontology.kif 15250-15250 TransitwayObstacleオブジェクトsubclass では %n
(subclass TwoDimensionalObject Object) Mid-level-ontology.kif 4797-4797 TwoDimensionalObjectオブジェクトsubclass では %n
(sublass Shrapnel Object) MilitaryDevices.kif 2096-2096 sublass Shrapnel and オブジェクト
(termFormat ChineseLanguage Object "客体") chinese_format.kif 815-815

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain AccelerationFn 3 Object) Cars.kif 1276-1276 AccelerationFn の数値 3 引数は オブジェクトinstance では %n
(domain LineFn 1 Object) ComputingBrands.kif 2624-2624 ライン の数値 1 引数は オブジェクトinstance では %n
(domain LineFn 2 Object) ComputingBrands.kif 2625-2625 ライン の数値 2 引数は オブジェクトinstance では %n
(domain MereologicalDifferenceFn 1 Object) Merge.kif 9829-9829 MereologicalDifferenceFn の数値 1 引数は オブジェクトinstance では %n
(domain MereologicalDifferenceFn 2 Object) Merge.kif 9830-9830 MereologicalDifferenceFn の数値 2 引数は オブジェクトinstance では %n
(domain MereologicalProductFn 1 Object) Merge.kif 9808-9808 MereologicalProductFn の数値 1 引数は オブジェクトinstance では %n
(domain MereologicalProductFn 2 Object) Merge.kif 9809-9809 MereologicalProductFn の数値 2 引数は オブジェクトinstance では %n
(domain MereologicalSumFn 1 Object) Merge.kif 9786-9786 MereologicalSumFn の数値 1 引数は オブジェクトinstance では %n
(domain MereologicalSumFn 2 Object) Merge.kif 9787-9787 MereologicalSumFn の数値 2 引数は オブジェクトinstance では %n
(domain absorbedDose 1 Object) MilitaryProcesses.kif 870-870 absorbedDose の数値 1 引数は オブジェクトinstance では %n
(domain adjacentOrientation 1 Object) Hotel.kif 936-936 adjacentOrientation の数値 1 引数は オブジェクトinstance では %n
(domain advertisedOn 1 Object) UXExperimentalTerms.kif 184-184 advertisedOn の数値 1 引数は オブジェクトinstance では %n
(domain airTemperature 1 Object) Mid-level-ontology.kif 25673-25673 airTemperature の数値 1 引数は オブジェクトinstance では %n
(domain allowableValue 1 Object) Mid-level-ontology.kif 31363-31363 allowableValue の数値 1 引数は オブジェクトinstance では %n
(domain anthem 2 Object) Music.kif 357-357 anthem の数値 2 引数は オブジェクトinstance では %n
(domain applicableRelation 1 Object) Mid-level-ontology.kif 31376-31376 applicableRelation の数値 1 引数は オブジェクトinstance では %n
(domain askPrice 1 Object) FinancialOntology.kif 1926-1926 askPrice の数値 1 引数は オブジェクトinstance では %n
(domain attribute 1 Object) Merge.kif 1720-1720 attribute の数値 1 引数は オブジェクトinstance では %n
(domain axis 1 Object) Mid-level-ontology.kif 17465-17465 axis の数値 1 引数は オブジェクトinstance では %n
(domain axis 2 Object) Mid-level-ontology.kif 17466-17466 axis の数値 2 引数は オブジェクトinstance では %n
(domain barometricPressure 1 Object) Merge.kif 7816-7816 barometricPressure の数値 1 引数は オブジェクトinstance では %n
(domain beforeOnPath 1 Object) Mid-level-ontology.kif 29769-29769 beforeOnPath の数値 1 引数は オブジェクトinstance では %n
(domain beforeOnPath 2 Object) Mid-level-ontology.kif 29770-29770 beforeOnPath の数値 2 引数は オブジェクトinstance では %n
(domain beforeOnPath 3 Object) Mid-level-ontology.kif 29771-29771 beforeOnPath の数値 3 引数は オブジェクトinstance では %n
(domain between 1 Object) Merge.kif 4152-4152 between の数値 1 引数は オブジェクトinstance では %n

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 23252-23258
(=>
    (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 25687-25696
(=>
    (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 504-520
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?ORG))
        (subclass ?P Object))
    (exists (?R ?O)
        (and
            (instance ?R
                (DeadFn ?ORG))
            (part ?R ?O)
            (instance ?O ?ORG))))
Economy.kif 5267-5276
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?ORG))
        (subclass ?P Object))
    (or
        (subclass ?ORG Organism)
        (subclass ?ORG AnatomicalStructure)))
Economy.kif 5258-5265
(=>
    (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 ?X ?CUST))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))
Hotel.kif 841-862
(=>
    (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 ?X ?CUST))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))
Hotel.kif 546-561
(=>
    (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 ?O
        (MeasureFn 0 UnitedStatesDollar) ?GUEST))
Hotel.kif 346-361
(=>
    (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 811-832
(=>
    (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 294-313
(=>
    (and
        (instance ?ATC AddToCart)
        (instance ?OBJ Object)
        (patient ?ATC ?OBJ)
        (agent ?ATC ?USER))
    (exists (?COLL ?SITE ?AFTER ?INTERVAL)
        (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 1326-1342
(=>
    (and
        (instance ?ATC AddToCart)
        (instance ?USER AutonomousAgent)
        (instance ?OBJ Object)
        (agent ?ATC ?USER)
        (patient ?ATC ?OBJ))
    (desires ?USER
        (exists (?BUYING)
            (and
                (instance ?BUYING Buying)
                (patient ?BUYING ?OBJ)
                (agent ?BUYING ?USER)))))
UXExperimentalTerms.kif 1312-1324
(=>
    (and
        (instance ?AUCTIONING Auctioning)
        (instance ?BIDDER1 AutonomousAgent)
        (instance ?BIDDER2 AutonomousAgent)
        (instance ?ITEM Object)
        (instance ?U UnitOfCurrency)
        (patient ?AUCTIONING ?ITEM)
        (bidPrice ?ITEM
            (MeasureFn ?OFFER1 ?U) ?BIDDER1)
        (bidPrice ?ITEM
            (MeasureFn ?OFFER2 ?U) ?BIDDER2)
        (greaterThan ?OFFER1 ?OFFER2))
    (destination ?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 354-365
(=>
    (and
        (instance ?AUCTIONING Auctioning)
        (instance ?ITEM Object)
        (patient ?AUCTIONING ?ITEM))
    (exists (?BIDDER ?OFFER)
        (and
            (instance ?BIDDER AutonomousAgent)
            (instance ?OFFER CurrencyMeasure)
            (bidPrice ?ITEM ?OFFER ?BIDDER))))
UXExperimentalTerms.kif 343-352
(=>
    (and
        (instance ?B Blade)
        (instance ?CUT Cutting)
        (instance ?OBJ Object)
        (instrument ?CUT ?B)
        (patient ?CUT ?OBJ))
    (meetsSpatially ?B ?OBJ))
Mid-level-ontology.kif 22018-22025
(=>
    (and
        (instance ?B Object)
        (roastedToTemperature ?B ?T))
    (exists (?H)
        (and
            (instance ?H Heating)
            (patient ?H ?B)
            (holdsDuring
                (EndFn
                    (WhenFn ?H))
                (measure ?B
                    (MeasureFn ?T CelsiusDegree))))))
Food.kif 468-478
(=>
    (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 ?BUYING ?ITEM))))))))
    (equal
        (ABPFn ?BUYINGS)
        (DivisionFn ?GMB ?TOTAL)))
UXExperimentalTerms.kif 3239-3259
(=>
    (and
        (instance ?C Crushing)
        (patient ?C ?O)
        (instance ?O Object))
    (exists (?B ?SC)
        (and
            (instance ?B Breaking)
            (causes ?C ?B)
            (subProcess ?B ?SC)
            (instance ?SC ShapeChange)
            (patient ?B ?O)
            (patient ?SC ?O))))
Food.kif 980-992
(=>
    (and
        (instance ?C Crushing)
        (patient ?C ?O)
        (instance ?O Object))
    (exists (?SC)
        (and
            (result ?C ?SC)
            (instance ?SC ShapeChange)
            (patient ?SC ?O))))
Food.kif 994-1003
(=>
    (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 145-160
(=>
    (and
        (instance ?ITEM Object)
        (instance ?LISTING WebListing)
        (attribute ?LISTING ForSaleByOwner)
        (patient ?LISTING ?ITEM))
    (instance ?ITEM Vehicle))
UXExperimentalTerms.kif 373-379
(=>
    (and
        (instance ?ITEM Object)
        (instance ?LISTING WebListing)
        (instance ?OWNER AutonomousAgent)
        (attribute ?LISTING ForSaleByOwner)
        (possesses ?OWNER ?ITEM))
    (instance ?OWNER Human))
UXExperimentalTerms.kif 381-388
(=>
    (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 6000-6011
(=>
    (and
        (instance ?L1 Object)
        (attribute ?L1 LongAndThin)
        (instance ?L2 Object)
        (attribute ?L2 LongAndThin)
        (connected ?L1 ?L2)
        (not
            (equal ?L1 ?L2)))
    (exists (?M)
        (relativeAngle ?L1 ?L2 ?M)))
Merge.kif 17882-17892
(=>
    (and
        (instance ?LISTING WebListing)
        (instance ?ITEM Object)
        (instance ?CREATOR AutonomousAgent)
        (attribute ?LISTING AuctionAttribute)
        (patient ?ITEM ?LISTING)
        (creator ?CREATOR ?LISTING))
    (desires ?CREATOR
        (exists (?AUCTION)
            (and
                (instance ?AUCTION Auctioning)
                (patient ?AUCTION ?ITEM)))))
UXExperimentalTerms.kif 313-325

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 25322-25326
(=>
    (and
        (attribute ?X DutyFree)
        (instance ?X Store))
    (exists (?AREA ?OBJ ?O ?SELL)
        (and
            (instance ?AREA GeopoliticalArea)
            (located ?X ?AREA)
            (subclass ?O Object)
            (importCommodityType ?AREA ?O)
            (instance ?OBJ ?O)
            (instance ?SELL Selling)
            (patient ?SELL ?OBJ)
            (located ?SELL ?X))))
Hotel.kif 1478-1491
(=>
    (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 ?C Choking)
        (experiencer ?C ?H))
    (exists (?O ?T ?L)
        (and
            (instance ?O Object)
            (instance ?T Trachea)
            (instance ?L Lung)
            (part ?T ?H)
            (part ?L ?H)
            (holdsDuring
                (WhenFn ?C)
                (or
                    (located ?O ?T)
                    (located ?O ?L))))))
Mid-level-ontology.kif 11754-11769
(=>
    (and
        (instance ?C Coughing)
        (experiencer ?C ?H))
    (hasPurpose ?C
        (exists (?R ?L ?O ?T)
            (and
                (instance ?L Lung)
                (instance ?T Throat)
                (instance ?O Object)
                (instance ?R Removing)
                (part ?L ?H)
                (part ?T ?H)
                (objectTransferred ?R ?O)
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?C))
                    (or
                        (located ?O ?T)
                        (located ?O ?L)))))))
Mid-level-ontology.kif 6056-6075
(=>
    (and
        (instance ?C Sneezing)
        (experiencer ?C ?H))
    (hasPurpose ?C
        (exists (?R ?N ?NOSE ?O)
            (and
                (instance ?N NasalCavity)
                (instance ?NOSE Nose)
                (equal ?NOSE
                    (HoleHostFn ?N))
                (instance ?O Object)
                (instance ?R Removing)
                (part ?NOSE ?H)
                (objectTransferred ?R ?O)
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?C))
                    (located ?O ?N))))))
Mid-level-ontology.kif 6122-6140
(=>
    (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 ?OBJ)
                            (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 7953-7978
(=>
    (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 7242-7257
(=>
    (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 8736-8756
(=>
    (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 7702-7716
(=>
    (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 6153-6169
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG MiscellaneousStoreRetailers))
    (exists (?EV ?MEM ?THING ?ST ?P)
        (and
            (member ?MEM ?ORG)
            (agent ?EV ?P)
            (instance ?EV Selling)
            (instance ?P Human)
            (instance ?ST RetailStore)
            (eventLocated ?EV ?ST)
            (instance ?THING Object)
            (patient ?EV ?THING))))
naics.kif 7752-7765
(=>
    (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 7877-7893
(=>
    (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 8707-8727
(=>
    (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 ?OBJ)
                            (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 8034-8059
(=>
    (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 7600-7618
(=>
    (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 ?OBJ)
                            (and
                                (instance ?T Transportation)
                                (possesses ?P ?OBJ)
                                (patient ?T ?OBJ)
                                (instance ?OBJ Object)
                                (possesses ?ORG ?V)
                                (instance ?V LandVehicle))) ?MEM ?P))))))
naics.kif 8253-8275
(=>
    (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 8776-8797
(=>
    (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 ?OBJ)
                            (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 8080-8105
(=>
    (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 6375-6391
(=>
    (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 2065-2076
(=>
    (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 1883-1900
(=>
    (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
(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (instance ?A Archeology)
        (subProposition ?X ?A)
        (realization ?R ?X))
    (exists (?D ?S ?O ?T ?W ?L)
        (and
            (instance ?D Discovering)
            (instance ?O Object)
            (patient ?D ?O)
            (refers ?R ?D)
            (earlier
                (WhenFn ?D)
                (WhenFn ?R))
            (age ?O
                (MeasureFn ?T YearDuration))
            (greaterThan ?T 50)
            (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 21147-21177
(=>
    (and
        (instance ?X Region)
        (attribute ?X Vacuum))
    (not
        (exists (?O)
            (and
                (instance ?O Object)
                (located ?O ?X)))))
Cars.kif 368-376

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 3.0 is open source software produced by Articulate Software and its partners