Knowledge base Browser

appearance as argument number 1

(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 126-128
(domain subclass 1 SetOrClass)	Merge.kif 124-124	The number 1 argument of subclass is an instance of set or class
(domain subclass 2 SetOrClass)	Merge.kif 125-125	The number 2 argument of subclass is an instance of set or class
(instance subclass BinaryPredicate)	Merge.kif 122-122	subclass is an instance of binary predicate
(instance subclass PartialOrderingRelation)	Merge.kif 123-123	subclass is an instance of partial ordering relation

appearance as argument number 2

(format EnglishLanguage subclass "%1 is %n a subclass of %2")	english_format.kif 181-181
(subrelation immediateSubclass subclass)	Merge.kif 142-142	immediate subclass is a subrelation of subclass
(subrelation subset subclass)	Merge.kif 4229-4229	subset is a subrelation of subclass
(termFormat EnglishLanguage subclass "subclass")	domainEnglishFormat.kif 9067-9067	term format english language, subclass and "subclass"

antecedent

(=> (and (authors ?AGENT ?CLASS) (subclass ?CLASS MusicalComposition)) (composer ?AGENT ?CLASS))	Media.kif 1602-1606	If an agent is the author of a musical composition and a musical composition is a subclass of musical composition then composer agent and musical composition
(=> (and (biochemicalAgentDelivery ?AGENT ?PROCESS) (subclass ?SUB ?PROCESS)) (biochemicalAgentDelivery ?AGENT ?SUB))	WMD.kif 759-763	If a process is a biochemical agent delivery of a biochemical agent and process is a subclass of a process then process is a biochemical agent delivery of a biochemical agent
(=> (and (biologicalAgentCarrier ?AGENT ?ORGANISM) (subclass ?SUB ?ORGANISM)) (biologicalAgentCarrier ?AGENT ?SUB))	WMD.kif 898-902	If a organism is a biological agent carrier of a biological agent and organism is a subclass of a organism then organism is a biological agent carrier of a biological agent
(=> (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	If an object is capable to do a process in role a case role and a process is a subclass of shooting then there exists object so that object is an instance of weapon and object is a part of object and object is capable to do process in role case role
(=> (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 2597-2603	If codeMapping ISO-4217-A, a symbolic string and an UnitOfCurrency and codeMapping ISO-3166-1-alpha-2, symbolic string and a set or class and set or class is a subclass of geopolitical area and symbolic string is equal to SubstringFn symbolic string, 0 and 2 then UnitOfCurrency is a currency type of set or class
(=> (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 627-633	If the day a positive integer is a commemorates date of a holiday and a day is an instance of holiday and holiday is a subclass of fixed holiday and an integer is less than or equal to ?LATER-YEAR then day is an instance of the day positive integer
(=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?PROCESS)) (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB))	WMD.kif 879-883	If a disease or syndrome disease treatment a biologically active substance for a process and process is a subclass of a process then disease or syndrome disease treatment a biologically active substance for process
(=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?SUBSTANCE)) (diseaseTreatment ?DISEASE ?SUB ?PROCESS))	WMD.kif 885-889	If a disease or syndrome disease treatment a biologically active substance for a process and biologically active substance is a subclass of a biologically active substance then disease or syndrome disease treatment biologically active substance for a process
(=> (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 2115-2124	If a geopolitical area electricity consumption in period a physical quantity for a time interval and a time interval is a subclass of year or time interval is a subclass of the fiscal year of geopolitical area then there exists a time position so that time position is an instance of time interval and physical quantity is an annual electricity consumption of geopolitical area holds during time position
(=> (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 2159-2168	If a geopolitical area electricity export in period a physical quantity for a time interval and a time interval is a subclass of year or time interval is a subclass of the fiscal year of geopolitical area then there exists a time position so that time position is an instance of time interval and physical quantity is an annual electricity export of geopolitical area holds during time position
(=> (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 2205-2214	If a geopolitical area electricity import in period a physical quantity for a time interval and a time interval is a subclass of year or time interval is a subclass of the fiscal year of geopolitical area then there exists a time position so that time position is an instance of time interval and physical quantity is an annual electricity import of geopolitical area holds during time position
(=> (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 1983-1992	If a geopolitical area electricity production in period a physical quantity for a time interval and a time interval is a subclass of year or time interval is a subclass of the fiscal year of geopolitical area then there exists a time position so that time position is an instance of time interval and physical quantity is an annual electricity production of geopolitical area holds during time position
(=> (and (equal ?CLASS1 (ReceivingAnObjectFn ?OBJCLASS1)) (equal ?CLASS2 (ReceivingAnObjectFn ?OBJCLASS2)) (subclass ?OBJCLASS1 ?OBJCLASS2)) (subclass ?CLASS1 ?CLASS2))	Media.kif 192-197	If a getting is equal to ReceivingAnObjectFn a object and getting is equal to ReceivingAnObjectFn object and a object is a subclass of object then a getting is a subclass of getting
(=> (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 2280-2289	If a geopolitical area export total in period a currency measure for a time interval and a time interval is a subclass of year or time interval is a subclass of the fiscal year of geopolitical area then there exists a time position so that time position is an instance of time interval and currency measure is an annual export total of geopolitical area holds during time position
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Book)) (holdsDuring ?T1 (attribute ?AGENT BookPublishers)))	Media.kif 1651-1655	If an organization publishes a text holds during a time position and a text is a subclass of book then book publishers is an attribute of organization holds during time position
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS MusicalComposition)) (holdsDuring ?T1 (attribute ?AGENT MusicPublishers)))	Media.kif 1639-1643	If an organization publishes a text holds during a time position and a text is a subclass of musical composition then music publishers is an attribute of organization holds during time position
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Newspaper)) (holdsDuring ?T1 (attribute ?AGENT NewspaperPublishers)))	Media.kif 1663-1667	If an organization publishes a text holds during a time position and a text is a subclass of newspaper then newspaper publishers is an attribute of organization holds during time position
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Periodical)) (holdsDuring ?T1 (attribute ?AGENT PeriodicalPublishers)))	Media.kif 1657-1661	If an organization publishes a text holds during a time position and a text is a subclass of periodical then periodical publishers is an attribute of organization holds during time position
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Text)) (holdsDuring ?T1 (attribute ?AGENT InformationIndustries)))	Media.kif 1645-1649	If an organization publishes a text holds during a time position and a text is a subclass of text then information industry is an attribute of organization holds during time position
(=> (and (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2126-2133	If a physical quantity is an annual electricity consumption of a geopolitical area holds during a time position and time position is an instance of a time interval and a time interval is a subclass of year or time interval is a subclass of the fiscal year of geopolitical area then geopolitical area electricity consumption in period physical quantity for time interval
(=> (and (holdsDuring ?YEAR (annualElectricityExport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2170-2177	If a physical quantity is an annual electricity export of a geopolitical area holds during a time position and time position is an instance of a time interval and a time interval is a subclass of year or time interval is a subclass of the fiscal year of geopolitical area then geopolitical area electricity export in period physical quantity for time interval
(=> (and (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2216-2223	If a physical quantity is an annual electricity import of a geopolitical area holds during a time position and time position is an instance of a time interval and a time interval is a subclass of year or time interval is a subclass of the fiscal year of geopolitical area then geopolitical area electricity import in period physical quantity for time interval
(=> (and (holdsDuring ?YEAR (annualElectricityProduction ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 1994-2001	If a physical quantity is an annual electricity production of a geopolitical area holds during a time position and time position is an instance of a time interval and a time interval is a subclass of year or time interval is a subclass of the fiscal year of geopolitical area then geopolitical area electricity production in period physical quantity for time interval
(=> (and (holdsDuring ?YEAR (annualExportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2291-2298	If a currency measure is an annual export total of a geopolitical area holds during a time position and time position is an instance of a time interval and a time interval is a subclass of year or time interval is a subclass of the fiscal year of geopolitical area then geopolitical area export total in period currency measure for time interval
(=> (and (holdsDuring ?YEAR (annualImportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2595-2602	If a currency measure is an annual import total of a geopolitical area holds during a time position and time position is an instance of a time interval and a time interval is a subclass of year or time interval is a subclass of the fiscal year of geopolitical area then geopolitical area import total in period currency measure for time interval

Display limited to 25 items. Show next 25

consequent

(<=> (instance ?CLASS Class) (subclass ?CLASS Entity))	Merge.kif 719-721	A set or class is an instance of class if and only if 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 208-214	If the number a positive integer argument of a relation is an instance of a set or class and the number positive integer argument of relation is an instance of set or class then set or class is a subclass of set or class or set or class is a subclass of set or class
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 2440-2444	If the number a positive integer argument of a relation is a subclass of a set or class and relation @ROW then positive integerth element of (@ROW) is a subclass of set or class
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS1) (domainSubclass ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 231-237	If the number a positive integer argument of a relation is a subclass of a set or class and the number positive integer argument of relation is a subclass of set or class then set or class is a subclass of set or class or set or class is a subclass of set or class
(=> (and (equal ?CLASS1 (ReceivingAnObjectFn ?OBJCLASS1)) (equal ?CLASS2 (ReceivingAnObjectFn ?OBJCLASS2)) (subclass ?OBJCLASS1 ?OBJCLASS2)) (subclass ?CLASS1 ?CLASS2))	Media.kif 192-197	If a getting is equal to ReceivingAnObjectFn a object and getting is equal to ReceivingAnObjectFn object and a object is a subclass of object then a getting is a subclass of getting
(=> (and (instance ?PUB Publication) (patient ?PUB ?TEXT)) (subclass ?TEXT Text))	Merge.kif 10238-10242	If a process is an instance of publication and a set or class is a patient of process then set or class is a subclass of text
(=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea))	Mid-level-ontology.kif 10618-10622	If a relation is an instance of economic relation and the number 1 argument of relation is an instance of a set or class then set or class is a subclass of geopolitical area
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer))	Merge.kif 2652-2656	If a function is an instance of sequence function and the range of function is an instance of a set or class then set or class is a subclass of integer
(=> (and (range ?REL ?CLASS1) (range ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 311-317	If the range of a function is an instance of a set or class and the range of function is an instance of set or class then set or class is a subclass of set or class or set or class is a subclass of set or class
(=> (and (rangeSubclass ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (subclass ?VALUE ?CLASS))	Merge.kif 326-330	If the values returned by a function are subclasses of a set or class and function(@ROW) is equal to set or class then set or class is a subclass of a set or class
(=> (and (rangeSubclass ?REL ?CLASS1) (rangeSubclass ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 338-344	If the values returned by a function are subclasses of a set or class and the values returned by function are subclasses of set or class then a set or class is a subclass of set or class or set or class is a subclass of set or class
(=> (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 14083-14090	If medical doctor is an attribute of an object then there exist a process and process so that a process is a subclass of diagnostic process and process is a subclass of therapeutic process and object is capable to do process in role agent and object is capable to do process in role agent
(=> (codeMapping ISO-639-1 ?TOKEN ?X) (or (instance ?X HumanLanguage) (subclass ?X HumanLanguage)))	Languages.kif 14682-14686	If codeMapping ISO-639-1, a symbolic string and a set or class then set or class is an instance of human language or set or class is a subclass of human language
(=> (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS) (subclass ?PROCESS Ingesting))	WMD.kif 1165-1167	If a disease or syndrome disease treatment oral antibiotic for a process then a process is a subclass of ingesting
(=> (diseaseTreatment ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering))	WMD.kif 1192-1194	If a disease or syndrome disease treatment topical antibiotic for a process then a process is a subclass of covering
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM) (=> (inList ?ITEM (ListFn @ROW)) (subclass ?ITEM ?CLASS))))	Merge.kif 2398-2403	If a class is disjointly decomposed into @ROW then for all a set or class if set or class is a member of (@ROW) then set or class is a subclass of class
(=> (equal ?CLASS (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?CLASS ?TYPE))	Geography.kif 6868-6870	If a geographic area is equal to GeographicPartTypeFn geographic area and a geographic area then a geographic area is a subclass of geographic area
(=> (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (subclass ?PRODUCTTYPE Collection))	Media.kif 3880-3882	If groupingTitle a symbolic string, a content bearing physical and a language then a content bearing physical is a subclass of collection
(=> (immediateInstance ?ENTITY ?CLASS) (not (exists (?SUBCLASS) (and (subclass ?SUBCLASS ?CLASS) (not (equal ?SUBCLASS ?CLASS)) (instance ?ENTITY ?SUBCLASS)))))	Merge.kif 96-102	If an entity is an immediate instance of a set or class then there doesn't exist set or class so that set or class is a subclass of set or class and set or class is not equal to set or class and entity is an instance of set or class
(=> (immediateSubclass ?CLASS1 ?CLASS2) (not (exists (?CLASS3) (and (subclass ?CLASS3 ?CLASS2) (subclass ?CLASS1 ?CLASS3) (not (equal ?CLASS2 ?CLASS3)) (not (equal ?CLASS1 ?CLASS3))))))	Merge.kif 149-156	If a set or class is an immediate subclass of set or class then there doesn't exist a set or class so that set or class is a subclass of set or class and set or class is a subclass of set or class and set or class is not equal to set or class and set or class is not equal to set or class
(=> (instance ?AMBULATE Ambulating) (exists (?SUB) (and (subclass ?SUB Stepping) (forall (?INST) (<=> (instance ?INST ?SUB) (subProcess ?INST ?AMBULATE))))))	Mid-level-ontology.kif 226-234	If a process is an instance of ambulating then there exists a set or class so that set or class is a subclass of stepping and for all process process is an instance of set or class if and only if process is a subprocess of process
(=> (instance ?AREA ColdClimateZone) (exists (?MO ?AMOUNT) (and (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT) (lessThan ?AMOUNT (MeasureFn -3 CelsiusDegree)))))	Geography.kif 1450-1456	If a geographic area is an instance of cold climate zone then there exist a set or class and a temperature measure so that set or class is a subclass of month and geographic area average temperature for period set or class for temperature measure and temperature measure is less than -3 celsius degree(s)
(=> (instance ?AREA TemperateClimateZone) (exists (?MO ?AMOUNT) (and (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT) (greaterThan ?AMOUNT (MeasureFn 10 CelsiusDegree)))))	Geography.kif 1342-1348	If a geographic area is an instance of temperate climate zone then there exist a set or class and a temperature measure so that set or class is a subclass of month and geographic area average temperature for period set or class for temperature measure and temperature measure is greater than 10 celsius degree(s)
(=> (instance ?AREA TemperateClimateZone) (exists (?MO ?AMOUNT) (and (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT) (greaterThanOrEqualTo ?AMOUNT (MeasureFn -3 CelsiusDegree)) (lessThanOrEqualTo ?AMOUNT (MeasureFn 18 CelsiusDegree)))))	Geography.kif 1357-1364	If a geographic area is an instance of temperate climate zone then there exist a set or class and a temperature measure so that set or class is a subclass of month and geographic area average temperature for period set or class for temperature measure and temperature measure is greater than or equal to -3 celsius degree(s) and temperature measure is less than or equal to 18 celsius degree(s)
(=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT))))	Mid-level-ontology.kif 10694-10699	If an object is an instance of game artifact then there exists a process so that a process is a subclass of game and object is capable to do process in role instrument

Display limited to 25 items. Show next 25

appearance as argument number 0

(subclass (AgentOfOrganismFn CoccidiodesPosadasii) LifeThreateningAgent)	WMD.kif 1259-1259	AgentOfOrganismFn coccidiodes posadasii is a subclass of life threatening agent
(subclass (AgentOfOrganismFn CoccidioidesImmitis) LifeThreateningAgent)	WMD.kif 1252-1252	AgentOfOrganismFn coccidioides immitis is a subclass of life threatening agent
(subclass (AgentOfOrganismFn MalarialPlasmodium) BiologicalAgent)	WMD.kif 1438-1438	AgentOfOrganismFn malarial plasmodium is a subclass of biological agent
(subclass (AgentOfOrganismFn SerratiaMarcenscens) LifeThreateningAgent)	WMD.kif 1247-1247	AgentOfOrganismFn serratia marcenscens is a subclass of life threatening agent
(subclass (AgentOfOrganismFn TickBorneEncephalitisVirus) LifeThreateningAgent)	WMD.kif 1799-1799	AgentOfOrganismFn tick borne encephalitis virus is a subclass of life threatening agent
(subclass (AgentOfOrganismFn YersiniaPestis) LifeThreateningAgent)	WMD.kif 376-376	AgentOfOrganismFn yersinia pestis is a subclass of life threatening agent
(subclass (DeadFn Alfalfa) PlantAgriculturalProduct)	Economy.kif 4124-4124	DeadFn alfalfa is a subclass of plant agricultural product
(subclass (DeadFn Apple) GroceryProduce)	Economy.kif 3917-3917	DeadFn apple is a subclass of grocery produce
(subclass (DeadFn Avocado) GroceryProduce)	Economy.kif 3932-3932	DeadFn avocado is a subclass of grocery produce
(subclass (DeadFn Banana) GroceryProduce)	Economy.kif 3935-3935	DeadFn banana is a subclass of grocery produce
(subclass (DeadFn Berry) GroceryProduce)	Economy.kif 3914-3914	DeadFn berry is a subclass of grocery produce
(subclass (DeadFn Breadfruit) GroceryProduce)	Economy.kif 3938-3938	DeadFn breadfruit is a subclass of grocery produce
(subclass (DeadFn Cabbage) GroceryProduce)	Economy.kif 3825-3825	DeadFn cabbage is a subclass of grocery produce
(subclass (DeadFn Carrot) GroceryProduce)	Economy.kif 3855-3855	DeadFn carrot is a subclass of grocery produce
(subclass (DeadFn Cassava) GroceryProduce)	Economy.kif 3875-3875	DeadFn cassava is a subclass of grocery produce
(subclass (DeadFn Cauliflower) GroceryProduce)	Economy.kif 3828-3828	DeadFn cauliflower is a subclass of grocery produce
(subclass (DeadFn Chrysanthemum) PlantAgriculturalProduct)	Economy.kif 4157-4157	DeadFn chrysanthemum is a subclass of plant agricultural product
(subclass (DeadFn CitrusFruit) GroceryProduce)	Economy.kif 3923-3923	DeadFn citrus fruit is a subclass of grocery produce
(subclass (DeadFn Clover) PlantAgriculturalProduct)	Economy.kif 4128-4128	DeadFn clover is a subclass of plant agricultural product
(subclass (DeadFn Coconut) GroceryProduce)	Economy.kif 3941-3941	DeadFn coconut is a subclass of grocery produce
(subclass (DeadFn Cucumber) GroceryProduce)	Economy.kif 3822-3822	DeadFn cucumber is a subclass of grocery produce
(subclass (DeadFn DateFruit) GroceryProduce)	Economy.kif 3944-3944	DeadFn date fruit is a subclass of grocery produce
(subclass (DeadFn EdibleNut) GroceryProduce)	Economy.kif 3987-3987	DeadFn edible nut is a subclass of grocery produce
(subclass (DeadFn Eggplant) GroceryProduce)	Economy.kif 3831-3831	DeadFn eggplant is a subclass of grocery produce
(subclass (DeadFn ForageCrop) PlantAgriculturalProduct)	Economy.kif 4132-4132	DeadFn forage crop is a subclass of plant agricultural product

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 SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners

KB Term:

English Word: