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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subclass

 Sigma KEE - subclass
subclass

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


(documentation subclass ChineseLanguage "(subclass ?CLASS1 ?CLASS2) 的意思是 ?CLASS1 是 ?CLASS2 的 subclass，也就是说， ?CLASS1 的每一个 instance 同时也是 ?CLASS2 的一个 instance。一个 Class 可以具有多个超类别和子类别。") chinese_format.kif 1371-1373
(documentation subclass EnglishLanguage "(subclass ?CLASS1 ?CLASS2) means that ?CLASS1 is a subclass of ?CLASS2, i.e. every instance of ?CLASS1 is also an instance of ?CLASS2. A Class may have multiple superclasses and subclasses.") Merge.kif 132-134
(domain subclass 1 SetOrClass) Merge.kif 130-130 子类别 的 1 数量 是 集或类 的 instance
(domain subclass 2 SetOrClass) Merge.kif 131-131 子类别 的 2 数量 是 集或类 的 instance
(instance subclass BinaryPredicate) Merge.kif 128-128 子类别 是 二元谓语 的 instance
(instance subclass PartialOrderingRelation) Merge.kif 129-129 子类别 是 偏序关系 的 instance

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


(format ChineseLanguage subclass "%1 %n 是 %2 的 subclass") chinese_format.kif 319-319
(format EnglishLanguage subclass "%1 is %n a subclass of %2") english_format.kif 327-327
(subrelation subset subclass) Merge.kif 5107-5107 子集 是 子类别 的 subrelation
(termFormat ChineseLanguage subclass "子类") domainEnglishFormat.kif 55618-55618
(termFormat ChineseLanguage subclass "子类别") chinese_format.kif 320-320
(termFormat ChineseTraditionalLanguage subclass "子類") domainEnglishFormat.kif 55617-55617
(termFormat EnglishLanguage subclass "subclass") domainEnglishFormat.kif 55616-55616

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


(=>
    (and
        (attribute ?ROOM Oversized)
        (immediateInstance ?ROOM ?HOTELUNIT)
        (subclass ?HOTELUNIT HotelUnit))
    (exists (?NORMAL ?AREA1 ?AREA2)
        (and
            (immediateInstance ?NORMAL ?HOTELUNIT)
            (measure ?NORMAL ?AREA1)
            (measure ?ROOM ?AREA2)
            (instance ?AREA1 AreaMeasure)
            (instance ?AREA2 AreaMeasure)
            (greaterThan ?AREA2 ?AREA1))))		 Hotel.kif 1140-1152
(=>
    (and
        (authors ?AGENT ?CLASS)
        (subclass ?CLASS MusicalComposition))
    (composer ?AGENT ?CLASS))		 Media.kif 1853-1857
(=>
    (and
        (biochemicalAgentDelivery ?AGENT ?PROCESS)
        (subclass ?SUB ?PROCESS))
    (biochemicalAgentDelivery ?AGENT ?SUB))		 WMD.kif 784-788
(=>
    (and
        (biologicalAgentCarrier ?AGENT ?ORGANISM)
        (subclass ?SUB ?ORGANISM))
    (biologicalAgentCarrier ?AGENT ?SUB))		 WMD.kif 931-935
(=>
    (and
        (capability ?PC ?ROLE ?MV)
        (subclass ?PC Shooting))
    (exists (?WEAPON)
        (and
            (instance ?WEAPON Weapon)
            (part ?WEAPON ?MV)
            (capability ?PC ?ROLE ?WEAPON))))		 MilitaryDevices.kif 48-56
(=>
    (and
        (codeMapping ISO-4217-A ?A3 ?CURRENCY)
        (codeMapping ISO-3166-1-alpha-2 ?A2 ?AREA)
        (subclass ?AREA GeopoliticalArea)
        (equal ?A2
            (SubstringFn ?A3 0 2)))
    (currencyType ?AREA ?CURRENCY))		 Media.kif 2859-2865
(=>
    (and
        (commemoratesDate ?HOLIDAY
            (DayFn ?DAY
                (MonthFn ?MONTH
                    (YearFn ?YEAR))))
        (instance ?DATE ?HOLIDAY)
        (subclass ?HOLIDAY FixedHoliday)
        (lessThanOrEqualTo ?YEAR ?LATER-YEAR))
    (instance ?DATE
        (DayFn ?DAY
            (MonthFn ?MONTH
                (YearFn ?LATER-YEAR)))))		 Government.kif 606-612
(=>
    (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 480-496
(=>
    (and
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Process))
    (modalAttribute
        (exists (?S ?LOC)
            (and
                (element ?LOC
                    (PropertyFn ?AGENT))
                (agent ?S ?AGENT)
                (patient ?S ?CUST)
                (or
                    (instance ?S ?PHYS)
                    (and
                        (instance ?PROC ?PHY)
                        (subProcess ?S ?PROC)))
                (located ?S ?LOC))) Possibility))		 Hotel.kif 498-514
(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitOfMeasure)
        (instance ?UNIT1 ?UNITCLASS))
    (modalAttribute
        (exists (?INST ?QUANTITY ?UNIT2)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT2))
                (instance ?UNIT2 ?UNITCLASS)
                (greaterThan
                    (MeasureFn ?QUANTITY ?UNIT2)
                    (MeasureFn ?Q ?UNIT1)))) Unlikely))		 Mid-level-ontology.kif 11172-11183
(=>
    (and
        (defaultMinimumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitOfMeasure)
        (instance ?UNIT1 ?UNITCLASS))
    (modalAttribute
        (exists (?INST ?QUANTITY ?UNIT2)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT2))
                (instance ?UNIT2 ?UNITCLASS)
                (lessThan
                    (MeasureFn ?QUANTITY ?UNIT2)
                    (MeasureFn ?Q ?UNIT1)))) Unlikely))		 Mid-level-ontology.kif 11143-11154
(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?PROCESS))
    (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB))		 WMD.kif 912-916
(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?SUBSTANCE))
    (diseaseTreatment ?DISEASE ?SUB ?PROCESS))		 WMD.kif 918-922
(=>
    (and
        (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityConsumption ?AREA ?AMOUNT)))))		 Economy.kif 2116-2125
(=>
    (and
        (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityExport ?AREA ?AMOUNT)))))		 Economy.kif 2160-2169
(=>
    (and
        (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityImport ?AREA ?AMOUNT)))))		 Economy.kif 2206-2215
(=>
    (and
        (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualElectricityProduction ?AREA ?AMOUNT)))))		 Economy.kif 1984-1993
(=>
    (and
        (equal ?CLASS1
            (ReceivingAnObjectFn ?OBJCLASS1))
        (equal ?CLASS2
            (ReceivingAnObjectFn ?OBJCLASS2))
        (subclass ?OBJCLASS1 ?OBJCLASS2))
    (subclass ?CLASS1 ?CLASS2))		 Media.kif 195-200
(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process))
    (inhibits ?DEP ?PHYS))		 Mid-level-ontology.kif 16089-16093
(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process))
    (not
        (desires ?COMP
            (exists (?P)
                (and
                    (instance ?P ?PHYS)
                    (involvedInEvent ?P ?COMP))))))		 Mid-level-ontology.kif 16095-16104
(=>
    (and
        (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (exists (?YEAR)
        (and
            (instance ?YEAR ?PERIOD)
            (holdsDuring ?YEAR
                (annualExportTotal ?AREA ?AMOUNT)))))		 Economy.kif 2281-2290
(=>
    (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 334-349
(=>
    (and
        (freeRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (patient ?P ?GUEST)
        (or
            (instance ?P ?PROC)
            (and
                (instance ?S ?PROC)
                (subProcess ?P ?S)))
        (located ?P ?R))
    (price ?P
        (MeasureFn 0 UnitedStatesDollar) ?HOTEL))		 Hotel.kif 351-365
(=>
    (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 784-805
(=>
    (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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (instance ?CLASS Class)
    (subclass ?CLASS Entity))		 Merge.kif 793-795 集或类 是 类 的 instance 若且唯若 那个 集或类 是 实体 的 subclass
(=>
    (and
        (domain ?REL ?NUMBER ?CLASS1)
        (domain ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 219-225
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (subclass
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))		 Merge.kif 2894-2899
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS1)
        (domainSubclass ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 242-248
(=>
    (and
        (equal ?CLASS1
            (ReceivingAnObjectFn ?OBJCLASS1))
        (equal ?CLASS2
            (ReceivingAnObjectFn ?OBJCLASS2))
        (subclass ?OBJCLASS1 ?OBJCLASS2))
    (subclass ?CLASS1 ?CLASS2))		 Media.kif 195-200
(=>
    (and
        (instance ?MENU AlcoholMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X AlcoholicBeverage))		 Dining.kif 215-219
(=>
    (and
        (instance ?MENU BeverageMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X Beverage))		 Dining.kif 204-208
(=>
    (and
        (instance ?MENU Menu)
        (catalogItem ?X ?MENU))
    (subclass ?X
        (FoodForFn Human)))		 Dining.kif 178-182
(=>
    (and
        (instance ?MENU WineMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X WineMenu))		 Dining.kif 225-229
(=>
    (and
        (instance ?PUB Publication)
        (patient ?PUB ?TEXT))
    (subclass ?TEXT Text))		 Merge.kif 11909-11913
(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))		 Mid-level-ontology.kif 14486-14490
(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))		 Merge.kif 3269-3273
(=>
    (and
        (instance ?X BreakingRecord)
        (agent ?X ?A1))
    (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
        (and
            (instance ?AC Set)
            (instance ?A1 ?AC)
            (subclass ?PC Process)
            (subclass ?L Region)
            (instance ?TP TimePoint)
            (instance ?Q Quantity)
            (refers ?X ?Q)
            (refers ?Q ?PC)
            (playsRoleInEvent ?A1 ?ROLE ?P1)
            (eventLocated ?P1 ?L)
            (not
                (exists (?A2 ?P2)
                    (and
                        (instance ?A2 ?AC)
                        (not
                            (equal ?A2 ?A1))
                        (instance ?P2 ?PC)
                        (holdsDuring
                            (TimeIntervalFn ?TP
                                (EndFn
                                    (WhenFn ?X)))
                            (and
                                (playsRoleInEvent ?A2 ?ROLE ?P2)
                                (eventLocated ?P2 ?L)))))))))		 Mid-level-ontology.kif 28220-28249
(=>
    (and
        (range ?REL ?CLASS1)
        (range ?REL ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 322-328
(=>
    (and
        (rangeSubclass ?FUNCTION ?CLASS)
        (equal
            (AssignmentFn ?FUNCTION @ROW) ?VALUE))
    (subclass ?VALUE ?CLASS))		 Merge.kif 337-341
(=>
    (and
        (rangeSubclass ?REL ?CLASS1)
        (rangeSubclass ?REL ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 349-355
(=>
    (attribute ?DOCTOR MedicalDoctor)
    (exists (?PROCESS1 ?PROCESS2)
        (and
            (subclass ?PROCESS1 DiagnosticProcess)
            (subclass ?PROCESS2 TherapeuticProcess)
            (capability ?PROCESS1 agent ?DOCTOR)
            (capability ?PROCESS2 agent ?DOCTOR))))		 Mid-level-ontology.kif 18742-18749
(=>
    (classIntersection ?CLASS1 ?CLASS2 ?INTERSECT)
    (and
        (subclass ?INTERSECT ?CLASS1)
        (subclass ?INTERSECT ?CLASS2)))		 ComputerInput.kif 74-78
(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (or
        (instance ?X HumanLanguage)
        (subclass ?X HumanLanguage)))		 Languages.kif 14683-14687
(=>
    (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS)
    (subclass ?PROCESS Ingesting))		 WMD.kif 1206-1208
(=>
    (diseaseTreatment ?DISEASE TopicalAntibiotic ?PROCESS)
    (subclass ?PROCESS Covering))		 WMD.kif 1233-1235
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM)
        (=>
            (inList ?ITEM
                (ListFn @ROW))
            (subclass ?ITEM ?CLASS))))		 Merge.kif 2839-2844
(=>
    (equal ?CLASS
        (GeographicPartTypeFn ?TYPE ?AREA))
    (subclass ?CLASS ?TYPE))		 Geography.kif 6259-6261
(=>
    (equal ?X
        (AttrFn ?CLASS ?ATTR))
    (forall (?I)
        (=>
            (instance ?I ?X)
            (and
                (instance ?I ?CLASS)
                (subclass ?X ?CLASS)
                (property ?I ?ATTR)))))		 Merge.kif 1684-1693
(=>
    (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
    (subclass ?PRODUCTTYPE Collection))		 Media.kif 3171-3173

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer SortimoCorp ?T)))		 Cars.kif 5090-5093 有存在 施事体 这样 那个 施事体 是 HandToolBox 的 subclass 和 manufacturer SortimoCorp and 那个 施事体

appearance as argument number 0
-------------------------


(subclass
    (AgentOfOrganismFn CoccidiodesPosadasii) LifeThreateningAgent)		 WMD.kif 1300-1300 球孢子菌 posadasii 的 biological agent 是 危及生命的特工 的 subclass
(subclass
    (AgentOfOrganismFn CoccidioidesImmitis) LifeThreateningAgent)		 WMD.kif 1293-1293 球孢子菌丝虫 的 biological agent 是 危及生命的特工 的 subclass
(subclass
    (AgentOfOrganismFn MalarialPlasmodium) BiologicalAgent)		 WMD.kif 1479-1479 疟疾疟原虫 的 biological agent 是 生物制剂 的 subclass
(subclass
    (AgentOfOrganismFn SerratiaMarcenscens) LifeThreateningAgent)		 WMD.kif 1288-1288 Serratia marcenscens 的 biological agent 是 危及生命的特工 的 subclass
(subclass
    (AgentOfOrganismFn TickBorneEncephalitisVirus) LifeThreateningAgent)		 WMD.kif 1840-1840 蜱传脑炎病毒 的 biological agent 是 危及生命的特工 的 subclass
(subclass
    (AgentOfOrganismFn YersiniaPestis) LifeThreateningAgent)		 WMD.kif 400-400 鼠疫耶尔森氏菌 的 biological agent 是 危及生命的特工 的 subclass
(subclass
    (DeadFn Apple) GroceryProduce)		 Economy.kif 3938-3938 一个 dead 苹果 是 杂货生产 的 subclass
(subclass
    (DeadFn Avocado) GroceryProduce)		 Economy.kif 3964-3964 一个 dead 鳄梨 是 杂货生产 的 subclass
(subclass
    (DeadFn Banana) GroceryProduce)		 Economy.kif 3967-3967 一个 dead 香蕉 是 杂货生产 的 subclass
(subclass
    (DeadFn Berry) GroceryProduce)		 Economy.kif 3935-3935 一个 dead 浆果 是 杂货生产 的 subclass
(subclass
    (DeadFn Breadfruit) GroceryProduce)		 Economy.kif 3970-3970 一个 dead 面包果 是 杂货生产 的 subclass
(subclass
    (DeadFn Cabbage) GroceryProduce)		 Economy.kif 3843-3843 一个 dead 卷心菜 是 杂货生产 的 subclass
(subclass
    (DeadFn Carrot) GroceryProduce)		 Economy.kif 3876-3876 一个 dead 胡萝卜 是 杂货生产 的 subclass
(subclass
    (DeadFn Cassava) GroceryProduce)		 Economy.kif 3896-3896 一个 dead 木薯 是 杂货生产 的 subclass
(subclass
    (DeadFn Cauliflower) GroceryProduce)		 Economy.kif 3846-3846 一个 dead 菜花 是 杂货生产 的 subclass
(subclass
    (DeadFn CitrusFruit) GroceryProduce)		 Economy.kif 3944-3944 一个 dead 柑橘类水果 是 杂货生产 的 subclass
(subclass
    (DeadFn Coconut) GroceryProduce)		 Economy.kif 3973-3973 一个 dead 椰子 是 杂货生产 的 subclass
(subclass
    (DeadFn Cucumber) GroceryProduce)		 Economy.kif 3840-3840 一个 dead 黄瓜 是 杂货生产 的 subclass
(subclass
    (DeadFn DateFruit) GroceryProduce)		 Economy.kif 3976-3976 一个 dead 日期水果 是 杂货生产 的 subclass
(subclass
    (DeadFn EdibleNut) GroceryProduce)		 Economy.kif 4019-4019 一个 dead 食用坚果 是 杂货生产 的 subclass
(subclass
    (DeadFn Eggplant) GroceryProduce)		 Economy.kif 3849-3849 一个 dead 茄子 是 杂货生产 的 subclass
(subclass
    (DeadFn Grape) GroceryProduce)		 Economy.kif 3927-3927 一个 dead 葡萄 是 杂货生产 的 subclass
(subclass
    (DeadFn Groundnut) GroceryProduce)		 Economy.kif 4033-4033 一个 dead 花生 是 杂货生产 的 subclass
(subclass
    (DeadFn LeafyGreenVegetable) GroceryProduce)		 Economy.kif 3837-3837 一个 dead 绿叶蔬菜 是 杂货生产 的 subclass
(subclass
    (DeadFn Mango) GroceryProduce)		 Economy.kif 3979-3979 一个 dead 芒果 是 杂货生产 的 subclass

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