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可以具有多个超类别和子类别。") Merge.kif 146-148
(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 143-145
(domain subclass 1 SetOrClass) Merge.kif 141-141 子类别 的 1 数量 是 集或类 的 instance
(domain subclass 2 SetOrClass) Merge.kif 142-142 子类别 的 2 数量 是 集或类 的 instance
(instance subclass BinaryPredicate) Merge.kif 139-139 子类别 是 二元谓语 的 instance
(instance subclass PartialOrderingRelation) Merge.kif 140-140 子类别 是 偏序关系 的 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 192-192
(subrelation subset subclass) Merge.kif 5488-5488 子集 是 子类别 的 subrelation
(termFormat ChineseLanguage subclass "子类别") chinese_format.kif 320-320 termFormat ChineseLanguage, 子类别 and "子类别"
(termFormat EnglishLanguage subclass "subclass") domainEnglishFormat.kif 9708-9708 termFormat EnglishLanguage, 子类别 and "subclass"

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 1136-1148
(=>
    (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 783-787
(=>
    (and
        (biologicalAgentCarrier ?AGENT ?ORGANISM)
        (subclass ?SUB ?ORGANISM))
    (biologicalAgentCarrier ?AGENT ?SUB))		 WMD.kif 922-926
(=>
    (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 613-619
(=>
    (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
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Process))
    (modalAttribute
        (exists (?S ?LOC)
            (and
                (element ?LOC
                    (PropertyFn ?AGENT))
                (agent ?S ?HOTEL)
                (or
                    (instance ?S ?PHYS)
                    (and
                        (instance ?PROC ?PHY)
                        (subProcess ?S ?PROC)))
                (located ?S ?LOC))) Possibility))		 Hotel.kif 495-510
(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitMeasure)
        (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 11141-11152
(=>
    (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 11112-11123
(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?PROCESS))
    (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB))		 WMD.kif 903-907
(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?SUBSTANCE))
    (diseaseTreatment ?DISEASE ?SUB ?PROCESS))		 WMD.kif 909-913
(=>
    (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
        (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 333-348
(=>
    (and
        (freeRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (or
            (instance ?P ?PROC)
            (and
                (instance ?S ?PROC)
                (subProcess ?P ?S)))
        (located ?P ?R))
    (price ?P
        (MeasureFn 0 UnitedStatesDollar) ?HOTEL))		 Hotel.kif 350-363
(=>
    (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
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS Book))
    (holdsDuring ?T1
        (attribute ?AGENT BookPublishers)))		 Media.kif 1902-1906
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS MusicalComposition))
    (holdsDuring ?T1
        (attribute ?AGENT MusicPublishers)))		 Media.kif 1890-1894

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 866-868 集或类 是 类 的 instance 若且唯若 那个 集或类 是 实体 的 subclass
(=>
    (and
        (domain ?REL ?NUMBER ?CLASS1)
        (domain ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 249-255
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (subclass
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))		 Merge.kif 3203-3208
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS1)
        (domainSubclass ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 275-281
(=>
    (and
        (equal ?CLASS1
            (ReceivingAnObjectFn ?OBJCLASS1))
        (equal ?CLASS2
            (ReceivingAnObjectFn ?OBJCLASS2))
        (subclass ?OBJCLASS1 ?OBJCLASS2))
    (subclass ?CLASS1 ?CLASS2))		 Media.kif 195-200
(=>
    (and
        (instance ?PUB Publication)
        (patient ?PUB ?TEXT))
    (subclass ?TEXT Text))		 Merge.kif 12776-12780
(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))		 Mid-level-ontology.kif 14460-14464
(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))		 Merge.kif 3482-3486
(=>
    (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 28190-28219
(=>
    (and
        (range ?REL ?CLASS1)
        (range ?REL ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 360-366
(=>
    (and
        (rangeSubclass ?FUNCTION ?CLASS)
        (equal
            (AssignmentFn ?FUNCTION @ROW) ?VALUE))
    (subclass ?VALUE ?CLASS))		 Merge.kif 377-381
(=>
    (and
        (rangeSubclass ?REL ?CLASS1)
        (rangeSubclass ?REL ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 389-395
(=>
    (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 18715-18722
(=>
    (classIntersection ?CLASS1 ?CLASS2 ?INTERSECT)
    (and
        (subclass ?INTERSECT ?CLASS1)
        (subclass ?INTERSECT ?CLASS2)))		 ComputerInput.kif 73-77
(=>
    (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 1189-1191
(=>
    (diseaseTreatment ?DISEASE TopicalAntibiotic ?PROCESS)
    (subclass ?PROCESS Covering))		 WMD.kif 1216-1218
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM)
        (=>
            (inList ?ITEM
                (ListFn @ROW))
            (subclass ?ITEM ?CLASS))))		 Merge.kif 3146-3151
(=>
    (equal ?CLASS
        (GeographicPartTypeFn ?TYPE ?AREA))
    (subclass ?CLASS ?TYPE))		 Geography.kif 6243-6245
(=>
    (equal ?X
        (AttrFn ?CLASS ?ATTR))
    (forall (?I)
        (=>
            (instance ?I ?X)
            (and
                (instance ?I ?CLASS)
                (subclass ?X ?CLASS)
                (property ?I ?ATTR)))))		 Merge.kif 1836-1845
(=>
    (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
    (subclass ?PRODUCTTYPE Collection))		 Media.kif 3139-3141
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))		 Mid-level-ontology.kif 28533-28536
(=>
    (immediateInstance ?ENTITY ?CLASS)
    (not
        (exists (?SUBCLASS)
            (and
                (subclass ?SUBCLASS ?CLASS)
                (not
                    (equal ?SUBCLASS ?CLASS))
                (instance ?ENTITY ?SUBCLASS)))))		 Merge.kif 104-110
(=>
    (immediateSubclass ?CLASS1 ?CLASS2)
    (not
        (exists (?CLASS3)
            (and
                (subclass ?CLASS3 ?CLASS2)
                (subclass ?CLASS1 ?CLASS3)
                (not
                    (equal ?CLASS2 ?CLASS3))
                (not
                    (equal ?CLASS1 ?CLASS3))))))		 Merge.kif 176-183
(=>
    (instance ?AREA ColdClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (subclass ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT)
            (lessThan ?AMOUNT
                (MeasureFn -3 CelsiusDegree)))))		 Geography.kif 1481-1487

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 5080-5083 有存在 施事体 这样 那个 施事体 是 HandToolBox 的 subclass 和 manufacturer SortimoCorp and 那个 施事体

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


(subclass
    (AgentOfOrganismFn CoccidiodesPosadasii) LifeThreateningAgent)		 WMD.kif 1283-1283 AgentOfOrganismFn CoccidiodesPosadasii 是 LifeThreateningAgent 的 subclass
(subclass
    (AgentOfOrganismFn CoccidioidesImmitis) LifeThreateningAgent)		 WMD.kif 1276-1276 AgentOfOrganismFn CoccidioidesImmitis 是 LifeThreateningAgent 的 subclass
(subclass
    (AgentOfOrganismFn MalarialPlasmodium) BiologicalAgent)		 WMD.kif 1462-1462 AgentOfOrganismFn MalarialPlasmodium 是 BiologicalAgent 的 subclass
(subclass
    (AgentOfOrganismFn SerratiaMarcenscens) LifeThreateningAgent)		 WMD.kif 1271-1271 AgentOfOrganismFn SerratiaMarcenscens 是 LifeThreateningAgent 的 subclass
(subclass
    (AgentOfOrganismFn TickBorneEncephalitisVirus) LifeThreateningAgent)		 WMD.kif 1823-1823 AgentOfOrganismFn TickBorneEncephalitisVirus 是 LifeThreateningAgent 的 subclass
(subclass
    (AgentOfOrganismFn YersiniaPestis) LifeThreateningAgent)		 WMD.kif 400-400 AgentOfOrganismFn YersiniaPestis 是 LifeThreateningAgent 的 subclass
(subclass
    (DeadFn Apple) GroceryProduce)		 Economy.kif 3938-3938 DeadFn Apple 是 GroceryProduce 的 subclass
(subclass
    (DeadFn Avocado) GroceryProduce)		 Economy.kif 3964-3964 DeadFn Avocado 是 GroceryProduce 的 subclass
(subclass
    (DeadFn Banana) GroceryProduce)		 Economy.kif 3967-3967 DeadFn Banana 是 GroceryProduce 的 subclass
(subclass
    (DeadFn Berry) GroceryProduce)		 Economy.kif 3935-3935 DeadFn Berry 是 GroceryProduce 的 subclass
(subclass
    (DeadFn Breadfruit) GroceryProduce)		 Economy.kif 3970-3970 DeadFn Breadfruit 是 GroceryProduce 的 subclass
(subclass
    (DeadFn Cabbage) GroceryProduce)		 Economy.kif 3843-3843 DeadFn Cabbage 是 GroceryProduce 的 subclass
(subclass
    (DeadFn Carrot) GroceryProduce)		 Economy.kif 3876-3876 DeadFn Carrot 是 GroceryProduce 的 subclass
(subclass
    (DeadFn Cassava) GroceryProduce)		 Economy.kif 3896-3896 DeadFn Cassava 是 GroceryProduce 的 subclass
(subclass
    (DeadFn Cauliflower) GroceryProduce)		 Economy.kif 3846-3846 DeadFn Cauliflower 是 GroceryProduce 的 subclass
(subclass
    (DeadFn CitrusFruit) GroceryProduce)		 Economy.kif 3944-3944 DeadFn CitrusFruit 是 GroceryProduce 的 subclass
(subclass
    (DeadFn Coconut) GroceryProduce)		 Economy.kif 3973-3973 DeadFn Coconut 是 GroceryProduce 的 subclass
(subclass
    (DeadFn Cucumber) GroceryProduce)		 Economy.kif 3840-3840 DeadFn Cucumber 是 GroceryProduce 的 subclass
(subclass
    (DeadFn DateFruit) GroceryProduce)		 Economy.kif 3976-3976 DeadFn DateFruit 是 GroceryProduce 的 subclass
(subclass
    (DeadFn EdibleNut) GroceryProduce)		 Economy.kif 4019-4019 DeadFn EdibleNut 是 GroceryProduce 的 subclass
(subclass
    (DeadFn Eggplant) GroceryProduce)		 Economy.kif 3849-3849 DeadFn Eggplant 是 GroceryProduce 的 subclass
(subclass
    (DeadFn Grape) GroceryProduce)		 Economy.kif 3927-3927 DeadFn Grape 是 GroceryProduce 的 subclass
(subclass
    (DeadFn Groundnut) GroceryProduce)		 Economy.kif 4033-4033 DeadFn Groundnut 是 GroceryProduce 的 subclass
(subclass
    (DeadFn LeafyGreenVegetable) GroceryProduce)		 Economy.kif 3837-3837 DeadFn LeafyGreenVegetable 是 GroceryProduce 的 subclass
(subclass
    (DeadFn Mango) GroceryProduce)		 Economy.kif 3979-3979 DeadFn Mango 是 GroceryProduce 的 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners