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 的时空范畴可大致划分为与时间轴平行的空间间隔。") 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 9964-9964 HoleHostFn の range は オブジェクト のインスタンス では %n
(range HoleSkinFn Object) Merge.kif 10105-10105 HoleSkinFn の range は オブジェクト のインスタンス では %n
(range LineFn Object) ComputingBrands.kif 2626-2626 ライン の range は オブジェクト のインスタンス では %n
(range MereologicalDifferenceFn Object) Merge.kif 9867-9867 MereologicalDifferenceFn の range は オブジェクト のインスタンス では %n
(range MereologicalProductFn Object) Merge.kif 9846-9846 MereologicalProductFn の range は オブジェクト のインスタンス では %n
(range MereologicalSumFn Object) Merge.kif 9824-9824 MereologicalSumFn の range は オブジェクト のインスタンス では %n
(rangeSubclass AttrFn Object) Merge.kif 1776-1776 AttrFn が返す値は オブジェクト の subclasses では %n
(rangeSubclass MakingFn Object) Merge.kif 18451-18451 MakingFn が返す値は オブジェクト の subclasses では %n
(rangeSubclass OrganicObjectFn Object) Economy.kif 5365-5365 OrganicObjectFn が返す値は オブジェクト の subclasses では %n
(subclass Artifact Object) Merge.kif 15727-15727 アーチファクト は オブジェクト の subclass では %n
(subclass AstronomicalBody Object) Merge.kif 14068-14068 天体 は オブジェクト の subclass では %n
(subclass AutonomousAgent Object) Merge.kif 1556-1556 AutonomousAgent は オブジェクト の subclass では %n
(subclass ContactSite Object) Mid-level-ontology.kif 24841-24841 ContactSite は オブジェクト の subclass では %n
(subclass Magnet Object) Cars.kif 3926-3926 Magnet は オブジェクト の subclass では %n
(subclass Region Object) Merge.kif 1251-1251 地域 は オブジェクト の subclass では %n
(subclass SelfConnectedObject Object) Merge.kif 862-862 自己接続オブジェクト は オブジェクト の subclass では %n
(subclass Shrapnel Object) MilitaryDevices.kif 2096-2096 Shrapnel は オブジェクト の subclass では %n
(subclass SphericalObject Object) Mid-level-ontology.kif 25875-25875 SphericalObject は オブジェクト の subclass では %n
(subclass TornadoDamage Object) Weather.kif 2051-2051 TornadoDamage は オブジェクト の subclass では %n
(subclass TransitwayObstacle Object) Mid-level-ontology.kif 15468-15468 TransitwayObstacle は オブジェクト の subclass では %n
(subclass TwoDimensionalObject Object) Mid-level-ontology.kif 4792-4792 TwoDimensionalObject は オブジェクト の subclass では %n
(termFormat ChineseLanguage Object "客体") chinese_format.kif 815-815 TwoDimensionalObject は オブジェクト の subclass では %n
(termFormat EnglishLanguage Object "object") english_format.kif 832-832 TwoDimensionalObject は オブジェクト の subclass では %n

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 CenterOfCircleFn 1 Object) Merge.kif 7662-7662 CenterOfCircleFn の数値 1 引数は オブジェクト の instance では %n
(domain DiameterFn 1 Object) Mid-level-ontology.kif 4933-4933 DiameterFn の数値 1 引数は オブジェクト の 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 9865-9865 MereologicalDifferenceFn の数値 1 引数は オブジェクト の instance では %n
(domain MereologicalDifferenceFn 2 Object) Merge.kif 9866-9866 MereologicalDifferenceFn の数値 2 引数は オブジェクト の instance では %n
(domain MereologicalProductFn 1 Object) Merge.kif 9844-9844 MereologicalProductFn の数値 1 引数は オブジェクト の instance では %n
(domain MereologicalProductFn 2 Object) Merge.kif 9845-9845 MereologicalProductFn の数値 2 引数は オブジェクト の instance では %n
(domain MereologicalSumFn 1 Object) Merge.kif 9822-9822 MereologicalSumFn の数値 1 引数は オブジェクト の instance では %n
(domain MereologicalSumFn 2 Object) Merge.kif 9823-9823 MereologicalSumFn の数値 2 引数は オブジェクト の instance では %n
(domain RadiusFn 1 Object) Mid-level-ontology.kif 4952-4952 RadiusFn の数値 1 引数は オブジェクト の 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 25937-25937 airTemperature の数値 1 引数は オブジェクト の instance では %n
(domain allowableValue 1 Object) Mid-level-ontology.kif 31628-31628 allowableValue の数値 1 引数は オブジェクト の instance では %n
(domain anthem 2 Object) Music.kif 357-357 anthem の数値 2 引数は オブジェクト の instance では %n
(domain applicableRelation 1 Object) Mid-level-ontology.kif 31641-31641 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 17723-17723 axis の数値 1 引数は オブジェクト の instance では %n
(domain axis 2 Object) Mid-level-ontology.kif 17724-17724 axis の数値 2 引数は オブジェクト の instance では %n
(domain barometricPressure 1 Object) Merge.kif 7852-7852 barometricPressure の数値 1 引数は オブジェクト の instance では %n
(domain beforeOnPath 1 Object) Mid-level-ontology.kif 30027-30027 beforeOnPath の数値 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 23535-23541
(=>
    (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 25951-25960
(=>
    (and
        (attribute ?X BlueforceControlled)
        (instance ?X Object))
    (exists (?A)
        (and
            (instance ?A GovernmentOrganization)
            (possesses ?A ?X)
            (or
                (subOrganization ?A
                    (GovernmentFn UnitedStates))
                (allied ?A
                    (GovernmentFn UnitedStates))))))		 MilitaryProcesses.kif 2825-2837
(=>
    (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 5382-5391
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?ORG))
        (subclass ?P Object))
    (or
        (subclass ?ORG Organism)
        (subclass ?ORG AnatomicalStructure)))		 Economy.kif 5373-5380
(=>
    (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 22301-22308
(=>
    (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 ?C Object)
        (shape ?C Circle))
    (exists (?P)
        (equal
            (CenterOfCircleFn ?C) ?P)))		 Merge.kif 7650-7655
(=>
    (and
        (instance ?C Object)
        (shape ?C Circle))
    (exists (?R)
        (radius ?C ?R)))		 Merge.kif 7643-7648
(=>
    (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

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 25610-25614
(=>
    (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 11972-11987
(=>
    (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 6050-6069
(=>
    (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 6116-6134
(=>
    (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 13030-13043
(=>
    (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 21405-21435
(=>
    (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