Browsing Interface : Welcome guest : log in
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 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 5454-5454 subset is a subrelation of subclass
(termFormat ChineseLanguage subclass "子类别") chinese_format.kif 320-320 "子类别" is the printable form of subclass in ChineseLanguage
(termFormat EnglishLanguage subclass "subclass") domainEnglishFormat.kif 9712-9712 "subclass" is the printable form of subclass in english language
(termFormat ar subclass "«صِنْف فَرْعِي مِن»") arabic_format.kif 577-577 "«صِنْف فَرْعِي مِن»" is the printable form of subclass in ar

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))
DimensioningAmenities.kif 223-234
(=>
    (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 194-205
(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?PROCESS))
    (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 903-907
  • If ?DISEASE disease treatment ?SUBSTANCE for ?PROCESS and ?SUB is a subclass of ?PROCESS,
  • then ?DISEASE disease treatment ?SUBSTANCE for ?SUB
(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?SUBSTANCE))
    (diseaseTreatment ?DISEASE ?SUB ?PROCESS))
WMD.kif 909-913
  • If ?DISEASE disease treatment ?SUBSTANCE for ?PROCESS and ?SUB is a subclass of ?SUBSTANCE,
  • then ?DISEASE disease treatment ?SUB for ?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 2116-2125
  • If ?AREA electricity consumption in period ?AMOUNT for ?PERIOD and ?PERIOD is a subclass of year or ?PERIOD is a subclass of the fiscal year of ?AREA,
  • then there exists ?YEAR such that ?YEAR is an instance of ?PERIOD and ?AMOUNT is an annual electricity consumption of ?AREA holds during ?YEAR
(=>
    (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
  • If ?AREA electricity production in period ?AMOUNT for ?PERIOD and ?PERIOD is a subclass of year or ?PERIOD is a subclass of the fiscal year of ?AREA,
  • then there exists ?YEAR such that ?YEAR is an instance of ?PERIOD and ?AMOUNT is an annual electricity production of ?AREA holds during ?YEAR
(=>
    (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
  • If ?AREA export total in period ?AMOUNT for ?PERIOD and ?PERIOD is a subclass of year or ?PERIOD is a subclass of the fiscal year of ?AREA,
  • then there exists ?YEAR such that ?YEAR is an instance of ?PERIOD and ?AMOUNT is an annual export total of ?AREA holds during ?YEAR
(=>
    (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 852-854 ?CLASS is an instance of class if and only if ?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
  • If the number ?NUMBER argument of ?REL is an instance of ?CLASS1 and the number ?NUMBER argument of ?REL is an instance of ?CLASS2,
  • then ?CLASS1 is a subclass of ?CLASS2 or ?CLASS2 is a subclass of ?CLASS1
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (subclass
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))
Merge.kif 3180-3185
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS1)
        (domainSubclass ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))
Merge.kif 273-279
  • If the number ?NUMBER argument of ?REL is a subclass of ?CLASS1 and the number ?NUMBER argument of ?REL is a subclass of ?CLASS2,
  • then ?CLASS1 is a subclass of ?CLASS2 or ?CLASS2 is a subclass of ?CLASS1
(=>
    (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 12640-12644
(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))
Mid-level-ontology.kif 14200-14204
(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))
Merge.kif 3459-3463
(=>
    (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 27749-27778
(=>
    (and
        (range ?REL ?CLASS1)
        (range ?REL ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))
Merge.kif 358-364
  • If the range of ?REL is an instance of ?CLASS1 and the range of ?REL is an instance of ?CLASS2,
  • then ?CLASS1 is a subclass of ?CLASS2 or ?CLASS2 is a subclass of ?CLASS1
(=>
    (and
        (rangeSubclass ?FUNCTION ?CLASS)
        (equal
            (AssignmentFn ?FUNCTION @ROW) ?VALUE))
    (subclass ?VALUE ?CLASS))
Merge.kif 375-379
  • If the values returned by ?FUNCTION are subclasses of ?CLASS and ?FUNCTION(@ROW) is equal to ?VALUE,
  • then ?VALUE is a subclass of ?CLASS
(=>
    (and
        (rangeSubclass ?REL ?CLASS1)
        (rangeSubclass ?REL ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))
Merge.kif 387-393
  • If the values returned by ?REL are subclasses of ?CLASS1 and the values returned by ?REL are subclasses of ?CLASS2,
  • then ?CLASS1 is a subclass of ?CLASS2 or ?CLASS2 is a subclass of ?CLASS1
(=>
    (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 18296-18303
(=>
    (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 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 3123-3128
(=>
    (equal ?CLASS
        (GeographicPartTypeFn ?TYPE ?AREA))
    (subclass ?CLASS ?TYPE))
Geography.kif 6244-6246
(=>
    (equal ?X
        (AttrFn ?CLASS ?ATTR))
    (forall (?I)
        (=>
            (instance ?I ?X)
            (and
                (instance ?I ?CLASS)
                (subclass ?X ?CLASS)
                (property ?I ?ATTR)))))
Merge.kif 1813-1822
(=>
    (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
    (subclass ?PRODUCTTYPE Collection))
Media.kif 3118-3120
(=>
    (habitatOfOrganism ?O ?L)
    (not
        (subclass ?O DomesticAnimal)))
Mid-level-ontology.kif 28092-28095
(=>
    (immediateInstance ?ENTITY ?CLASS)
    (not
        (exists (?SUBCLASS)
            (and
                (subclass ?SUBCLASS ?CLASS)
                (not
                    (equal ?SUBCLASS ?CLASS))
                (instance ?ENTITY ?SUBCLASS)))))
Merge.kif 104-110
  • If ?ENTITY is an immediate instance of ?CLASS,
  • then there doesn't exist ?SUBCLASS such that ?SUBCLASS is a subclass of ?CLASS and ?SUBCLASS is not equal to ?CLASS and ?ENTITY is an instance of ?SUBCLASS
(=>
    (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
  • If ?CLASS1 is an immediate subclass of ?CLASS2,
  • then there doesn't exist ?CLASS3 such that ?CLASS3 is a subclass of ?CLASS2 and ?CLASS1 is a subclass of ?CLASS3 and ?CLASS2 is not equal to ?CLASS3 and ?CLASS1 is not equal to ?CLASS3
(=>
    (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 ?T such that ?T is a subclass of tool box and the maker of Sortimo Corporation is ?T

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


(subclass
    (AgentOfOrganismFn CoccidiodesPosadasii) LifeThreateningAgent)
WMD.kif 1283-1283 The biological agent of coccidiodes posadasii is a subclass of life threatening agent
(subclass
    (AgentOfOrganismFn CoccidioidesImmitis) LifeThreateningAgent)
WMD.kif 1276-1276 The biological agent of coccidioides immitis is a subclass of life threatening agent
(subclass
    (AgentOfOrganismFn MalarialPlasmodium) BiologicalAgent)
WMD.kif 1462-1462 The biological agent of malarial plasmodium is a subclass of biological agent
(subclass
    (AgentOfOrganismFn SerratiaMarcenscens) LifeThreateningAgent)
WMD.kif 1271-1271 The biological agent of serratia marcenscens is a subclass of life threatening agent
(subclass
    (AgentOfOrganismFn TickBorneEncephalitisVirus) LifeThreateningAgent)
WMD.kif 1823-1823 The biological agent of tick borne encephalitis virus is a subclass of life threatening agent
(subclass
    (AgentOfOrganismFn YersiniaPestis) LifeThreateningAgent)
WMD.kif 400-400 The biological agent of yersinia pestis is a subclass of life threatening agent
(subclass
    (DeadFn Alfalfa) PlantAgriculturalArtifact)
Society.kif 1059-1059 A dead alfalfa is a subclass of PlantAgriculturalArtifact
(subclass
    (DeadFn Apple) GroceryProduce)
Economy.kif 3938-3938 A dead apple is a subclass of grocery produce
(subclass
    (DeadFn Avocado) GroceryProduce)
Economy.kif 3964-3964 A dead avocado is a subclass of grocery produce
(subclass
    (DeadFn Banana) GroceryProduce)
Economy.kif 3967-3967 A dead banana is a subclass of grocery produce
(subclass
    (DeadFn Berry) GroceryProduce)
Economy.kif 3935-3935 A dead berry is a subclass of grocery produce
(subclass
    (DeadFn Breadfruit) GroceryProduce)
Economy.kif 3970-3970 A dead breadfruit is a subclass of grocery produce
(subclass
    (DeadFn Cabbage) GroceryProduce)
Economy.kif 3843-3843 A dead cabbage is a subclass of grocery produce
(subclass
    (DeadFn Carrot) GroceryProduce)
Economy.kif 3876-3876 A dead carrot is a subclass of grocery produce
(subclass
    (DeadFn Cassava) GroceryProduce)
Economy.kif 3896-3896 A dead cassava is a subclass of grocery produce
(subclass
    (DeadFn Cauliflower) GroceryProduce)
Economy.kif 3846-3846 A dead cauliflower is a subclass of grocery produce
(subclass
    (DeadFn Chrysanthemum) PlantAgriculturalArtifact)
Society.kif 1073-1073 A dead chrysanthemum is a subclass of PlantAgriculturalArtifact
(subclass
    (DeadFn CitrusFruit) GroceryProduce)
Economy.kif 3944-3944 A dead citrus fruit is a subclass of grocery produce
(subclass
    (DeadFn Clover) PlantAgriculturalArtifact)
Society.kif 1063-1063 A dead clover is a subclass of PlantAgriculturalArtifact
(subclass
    (DeadFn Coconut) GroceryProduce)
Economy.kif 3973-3973 A dead coconut is a subclass of grocery produce
(subclass
    (DeadFn Cucumber) GroceryProduce)
Economy.kif 3840-3840 A dead cucumber is a subclass of grocery produce
(subclass
    (DeadFn DateFruit) GroceryProduce)
Economy.kif 3976-3976 A dead date fruit is a subclass of grocery produce
(subclass
    (DeadFn EdibleNut) GroceryProduce)
Economy.kif 4019-4019 A dead edible nut is a subclass of grocery produce
(subclass
    (DeadFn Eggplant) GroceryProduce)
Economy.kif 3849-3849 A dead eggplant is a subclass of grocery produce
(subclass
    (DeadFn ForageCrop) PlantAgriculturalArtifact)
Society.kif 1064-1064 A dead 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.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners