Browsing Interface
Home |  Graph |   ]

KB:  Language: 

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of subclass is an instance of set or class
(domain subclass 2 SetOrClass) Merge.kif 142-142 The number 2 argument of subclass is an instance of set or class
(instance subclass BinaryPredicate) Merge.kif 139-139 subclass is an instance of binary predicate
(instance subclass PartialOrderingRelation) Merge.kif 140-140 subclass is an instance of partial ordering relation

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


(format ChineseLanguage subclass "%1 %n 是 %2 的 subclass") chinese_format.kif 319-319
(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
(format FrenchLanguage subclass "%1 est %n une sous-classe de %2") french_format.kif 182-182
(format ItalianLanguage subclass "%1 � %n una sottoclasse di %2") relations-it.txt 271-271
(format PortugueseLanguage subclass "%1 e' %n uma sub-classe de %2") portuguese_format.kif 134-134
(format ar subclass "%1 هو %n صِنْف فَرْعِي مِن %2") arabic_format.kif 127-127
(format cz subclass "%1 %p{je} %n{nen�} podt��dou %2") relations-cz.txt 175-175
(format de subclass "%1 ist eine teilkategorie von %2") relations-de.txt 419-419
(format hi subclass "%1 %2 kaa upavarga %n hai") relations-hindi.txt 308-308
(format tg subclass "%1 %n ay ang klase mas tiyak sa %2") relations-tg.txt 463-463
(subrelation immediateSubclass subclass) Merge.kif 162-162 immediate subclass is a subrelation of subclass
(subrelation subset subclass) Merge.kif 5446-5446 subset is a subrelation of subclass
(termFormat ChineseLanguage subclass "子类别") chinese_format.kif 320-320 term format ChineseLanguage, subclass and "子类别"
(termFormat ChineseLanguage subclass "子类别") chinese_format.kif 320-320 term format ChineseLanguage, subclass and "子类别"
(termFormat EnglishLanguage subclass "subclass") domainEnglishFormat.kif 9118-9118 term format english language, subclass and "subclass"
(termFormat ar subclass "«صِنْف فَرْعِي مِن»") arabic_format.kif 577-577 term format ar, subclass and "«صِنْف فَرْعِي مِن»"

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 1126-1138
(=>
    (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 474-490
(=>
    (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 492-507
(=>
    (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))
DimensioningAmenities.kif 211-222
(=>
    (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))
DimensioningAmenities.kif 182-193
(=>
    (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 331-346
(=>
    (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 348-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 772-793
(=>
    (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 288-307
(=>
    (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 849-851 A set or class is an instance of class if and only if the set or class is a subclass of entity
(=>
    (and
        (domain ?REL ?NUMBER ?CLASS1)
        (domain ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))
Merge.kif 247-253
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (subclass
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))
Merge.kif 3175-3180
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS1)
        (domainSubclass ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))
Merge.kif 273-279
(=>
    (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 12636-12640
(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))
Mid-level-ontology.kif 14020-14024
(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3454-3458
(=>
    (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 27387-27416
(=>
    (and
        (range ?REL ?CLASS1)
        (range ?REL ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))
Merge.kif 358-364
(=>
    (and
        (rangeSubclass ?FUNCTION ?CLASS)
        (equal
            (AssignmentFn ?FUNCTION @ROW) ?VALUE))
    (subclass ?VALUE ?CLASS))
Merge.kif 375-379
(=>
    (and
        (rangeSubclass ?REL ?CLASS1)
        (rangeSubclass ?REL ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))
Merge.kif 387-393
(=>
    (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 18016-18023
(=>
    (classIntersection ?CLASS1 ?CLASS2 ?INTERSECT)
    (and
        (subclass ?INTERSECT ?CLASS1)
        (subclass ?INTERSECT ?CLASS2)))
ComputerInput.kif 109-113
(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (or
        (instance ?X HumanLanguage)
        (subclass ?X HumanLanguage)))
Languages.kif 14682-14686
(=>
    (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 3118-3123
(=>
    (equal ?CLASS
        (GeographicPartTypeFn ?TYPE ?AREA))
    (subclass ?CLASS ?TYPE))
Geography.kif 7100-7102
(=>
    (equal ?X
        (AttrFn ?CLASS ?ATTR))
    (forall (?I)
        (=>
            (instance ?I ?X)
            (and
                (instance ?I ?CLASS)
                (subclass ?X ?CLASS)
                (property ?I ?ATTR)))))
Merge.kif 1808-1817
(=>
    (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
    (subclass ?PRODUCTTYPE Collection))
Media.kif 3118-3120
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))
Mid-level-ontology.kif 27730-27733
(=>
    (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 174-181
(=>
    (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 5121-5124 There exists an agent such that the agent is a subclass of tool box and the maker of Sortimo Corporation is the agent

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


(subclass
    (AgentOfOrganismFn CoccidiodesPosadasii) LifeThreateningAgent)
WMD.kif 1283-1283 AgentOfOrganismFn coccidiodes posadasii is a subclass of life threatening agent
(subclass
    (AgentOfOrganismFn CoccidioidesImmitis) LifeThreateningAgent)
WMD.kif 1276-1276 AgentOfOrganismFn coccidioides immitis is a subclass of life threatening agent
(subclass
    (AgentOfOrganismFn MalarialPlasmodium) BiologicalAgent)
WMD.kif 1462-1462 AgentOfOrganismFn malarial plasmodium is a subclass of biological agent
(subclass
    (AgentOfOrganismFn SerratiaMarcenscens) LifeThreateningAgent)
WMD.kif 1271-1271 AgentOfOrganismFn serratia marcenscens is a subclass of life threatening agent
(subclass
    (AgentOfOrganismFn TickBorneEncephalitisVirus) LifeThreateningAgent)
WMD.kif 1823-1823 AgentOfOrganismFn tick borne encephalitis virus is a subclass of life threatening agent
(subclass
    (AgentOfOrganismFn YersiniaPestis) LifeThreateningAgent)
WMD.kif 400-400 AgentOfOrganismFn yersinia pestis is a subclass of life threatening agent
(subclass
    (DeadFn Alfalfa) PlantAgriculturalArtifact)
Society.kif 1059-1059 DeadFn alfalfa is a subclass of PlantAgriculturalArtifact
(subclass
    (DeadFn Apple) GroceryProduce)
Economy.kif 3938-3938 DeadFn apple is a subclass of grocery produce
(subclass
    (DeadFn Avocado) GroceryProduce)
Economy.kif 3964-3964 DeadFn avocado is a subclass of grocery produce
(subclass
    (DeadFn Banana) GroceryProduce)
Economy.kif 3967-3967 DeadFn banana is a subclass of grocery produce
(subclass
    (DeadFn Berry) GroceryProduce)
Economy.kif 3935-3935 DeadFn berry is a subclass of grocery produce
(subclass
    (DeadFn Breadfruit) GroceryProduce)
Economy.kif 3970-3970 DeadFn breadfruit is a subclass of grocery produce
(subclass
    (DeadFn Cabbage) GroceryProduce)
Economy.kif 3843-3843 DeadFn cabbage is a subclass of grocery produce
(subclass
    (DeadFn Carrot) GroceryProduce)
Economy.kif 3876-3876 DeadFn carrot is a subclass of grocery produce
(subclass
    (DeadFn Cassava) GroceryProduce)
Economy.kif 3896-3896 DeadFn cassava is a subclass of grocery produce
(subclass
    (DeadFn Cauliflower) GroceryProduce)
Economy.kif 3846-3846 DeadFn cauliflower is a subclass of grocery produce
(subclass
    (DeadFn Chrysanthemum) PlantAgriculturalArtifact)
Society.kif 1073-1073 DeadFn chrysanthemum is a subclass of PlantAgriculturalArtifact
(subclass
    (DeadFn CitrusFruit) GroceryProduce)
Economy.kif 3944-3944 DeadFn citrus fruit is a subclass of grocery produce
(subclass
    (DeadFn Clover) PlantAgriculturalArtifact)
Society.kif 1063-1063 DeadFn clover is a subclass of PlantAgriculturalArtifact
(subclass
    (DeadFn Coconut) GroceryProduce)
Economy.kif 3973-3973 DeadFn coconut is a subclass of grocery produce
(subclass
    (DeadFn Cucumber) GroceryProduce)
Economy.kif 3840-3840 DeadFn cucumber is a subclass of grocery produce
(subclass
    (DeadFn DateFruit) GroceryProduce)
Economy.kif 3976-3976 DeadFn date fruit is a subclass of grocery produce
(subclass
    (DeadFn EdibleNut) GroceryProduce)
Economy.kif 4019-4019 DeadFn edible nut is a subclass of grocery produce
(subclass
    (DeadFn Eggplant) GroceryProduce)
Economy.kif 3849-3849 DeadFn eggplant is a subclass of grocery produce
(subclass
    (DeadFn ForageCrop) PlantAgriculturalArtifact)
Society.kif 1064-1064 DeadFn forage crop is a subclass of PlantAgriculturalArtifact

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99b (>= 2014/01/25) is open source software produced by Articulate Software and its partners