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 可以具有多个超类别和子类别。") chinese_format.kif 1371-1373
(documentation subclass EnglishLanguage "(subclass ?CLASS1 ?CLASS2) means that ?CLASS1 is a subclass of ?CLASS2, i.e. every instance of ?CLASS1 is also an instance of ?CLASS2. A Class may have multiple superclasses and subclasses.") Merge.kif 133-135
(documentation subclass JapaneseLanguage "(subclass ?CLASS1 ?CLASS2) とは、?CLASS1 が?CLASS2の subclass である、という意味である。例えば、?CLASS1のすべての instance も?CLASS2 の instance である。") japanese_format.kif 27-29
(documentation subclass SpanishLanguage "(subclass ?CLASS1 ?CLASS2) quiere decir que ?CLASS1 es una subclass de ?CLASS2, por ejemplo, cada instance de ?CLASS1 es también una instance de ?CLASS2. Una Class puede tener varias superclases y subclases.") spanish_format.kif 28-30
(domain subclass 1 Class) Merge.kif 131-131
(domain subclass 2 Class) Merge.kif 132-132
(instance subclass BinaryPredicate) Merge.kif 129-129
(instance subclass ClosedWorldPredicate) Merge.kif 18645-18645
(instance subclass PartialOrderingRelation) Merge.kif 130-130

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 324-324
(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 JapaneseLanguage subclass "%1 は %2 の subclass では %n") japanese_format.kif 2002-2002
(format PortugueseLanguage subclass "%1 e' %n uma sub-classe de %2") portuguese_format.kif 134-134
(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 ro subclass "%1 %n{nu} este o subclass%t{subclasã} a lui %2") relations-ro.kif 202-202
(format sv subclass "%1 är %n{inte} en subclass till %2") relations-sv.txt 192-192
(format tg subclass "%1 %n ay ang klase mas tiyak sa %2") relations-tg.txt 463-463
(subrelation subField subclass) Mid-level-ontology.kif 22956-22956
(termFormat ChineseLanguage subclass "子类") domainEnglishFormat.kif 55708-55708
(termFormat ChineseLanguage subclass "子类别") chinese_format.kif 320-320
(termFormat ChineseTraditionalLanguage subclass "子類") domainEnglishFormat.kif 55707-55707
(termFormat EnglishLanguage subclass "subclass") domainEnglishFormat.kif 55706-55706
(termFormat de subclass "teilkategorie") terms-de.txt 133-133

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


(=>
    (and
        (attribute ?H1 ADHD)
        (not
            (attribute ?H2 ADHD))
        (not
            (equal ?H1 ?H2))
        (instance ?I1 ?IC)
        (instance ?I2 ?IC)
        (subclass ?IC IntentionalPsychologicalProcess)
        (agent ?I1 ?H1)
        (agent ?I2 ?H2)
        (duration
            (WhenFn ?I1) ?D1)
        (duration
            (WhenFn ?I2) ?D2))
    (modalAttribute
        (greaterThan ?D2 ?D1) Likely))		 Medicine.kif 3987-4007
(=>
    (and
        (attribute ?ROOM Oversized)
        (immediateInstance ?ROOM ?HOTELUNIT)
        (subclass ?HOTELUNIT HotelUnit))
    (exists (?NORMAL ?AREA1 ?AREA2 ?U)
        (and
            (immediateInstance ?NORMAL ?HOTELUNIT)
            (instance ?U UnitOfArea)
            (measure ?NORMAL
                (MeasureFn ?AREA1 ?U))
            (measure ?ROOM
                (MeasureFn ?AREA2 ?U))
            (instance ?AREA1 AreaMeasure)
            (instance ?AREA2 AreaMeasure)
            (greaterThan ?AREA2 ?AREA1))))		 Hotel.kif 1194-1209
(=>
    (and
        (attribute ?X Writer)
        (instance ?TEXT ?CLASS)
        (or
            (subclass ?CLASS Text)
            (subclass ?CLASS Document))
        (instance ?WRITE Writing)
        (agent ?WRITE ?X)
        (result ?WRITE ?TEXT))
    (authors ?X ?CLASS))		 Biography.kif 738-748
(=>
    (and
        (biochemicalAgentDelivery ?AGENT ?PROCESS)
        (subclass ?SUB ?PROCESS))
    (biochemicalAgentDelivery ?AGENT ?SUB))		 WMD.kif 789-793
(=>
    (and
        (biologicalAgentCarrier ?AGENT ?ORGANISM)
        (subclass ?SUB ?ORGANISM))
    (biologicalAgentCarrier ?AGENT ?SUB))		 WMD.kif 976-980
(=>
    (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
        (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 583-589
(=>
    (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 504-520
(=>
    (and
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Process))
    (modalAttribute
        (exists (?S ?LOC ?PROC)
            (and
                (element ?LOC
                    (PropertyFn ?AGENT))
                (agent ?S ?AGENT)
                (patient ?S ?CUST)
                (or
                    (instance ?S ?PHYS)
                    (and
                        (instance ?PROC ?PHYS)
                        (subProcess ?S ?PROC)))
                (located ?S ?LOC))) Possibility))		 Hotel.kif 522-538
(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitOfMeasure)
        (instance ?UNIT1 ?UNITCLASS))
    (modalAttribute
        (exists (?INST ?QUANTITY ?UNIT2)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT2))
                (instance ?UNIT2 ?UNITCLASS)
                (greaterThan
                    (MeasureFn ?QUANTITY ?UNIT2)
                    (MeasureFn ?Q ?UNIT1)))) Unlikely))		 Mid-level-ontology.kif 14886-14897
(=>
    (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 ?QUANTITY ?Q))) Unlikely))		 Mid-level-ontology.kif 14855-14866
(=>
    (and
        (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?PROCESS))
    (diseaseMedicine ?DISEASE ?SUBSTANCE ?SUB))		 WMD.kif 957-961
(=>
    (and
        (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?SUBSTANCE))
    (diseaseMedicine ?DISEASE ?SUB ?PROCESS))		 WMD.kif 963-967
(=>
    (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 2352-2361
(=>
    (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 2396-2405
(=>
    (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 2442-2451
(=>
    (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 2220-2229
(=>
    (and
        (equal ?AF
            (OrganicObjectFn ?F))
        (subclass ?AF AnimalFat)
        (subclass ?F FatTissue))
    (initialPart ?F Animal))		 Food.kif 2883-2889
(=>
    (and
        (equal ?B
            (OrganicObjectFn ?P))
        (subclass ?B CoffeeBean)
        (subclass ?P Seed))
    (initialPart ?P CoffeePlant))		 Economy.kif 4967-4972
(=>
    (and
        (equal ?C
            (OrganicObjectFn ?S))
        (subclass ?C CocoaBean)
        (subclass ?S Seed))
    (initialPart ?S CocoaTree))		 Economy.kif 5031-5037
(=>
    (and
        (equal ?CLASS1
            (ReceivingAnObjectFn ?OBJCLASS1))
        (equal ?CLASS2
            (ReceivingAnObjectFn ?OBJCLASS2))
        (subclass ?OBJCLASS1 ?OBJCLASS2))
    (subclass ?CLASS1 ?CLASS2))		 Media.kif 195-200
(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process)
        (subOrganization ?DEP ?COMP))
    (inhibits ?DEP ?PHYS))		 Mid-level-ontology.kif 19972-19977
(=>
    (and
        (equal ?M
            (OrganicObjectFn ?A))
        (subclass ?M Meat))
    (subclass ?A Animal))		 Economy.kif 5285-5290
(=>
    (and
        (equal ?M
            (OrganicObjectFn ?G))
        (subclass ?M Malt)
        (subclass ?G CerealGrain))
    (initialPart ?G CerealGrass))		 Economy.kif 4503-4509
(=>
    (and
        (equal ?O
            (OrganicObjectFn ?S))
        (subclass ?O OilFromPlant)
        (or
            (subclass ?S Seed)
            (subclass ?S Fruit)))
    (exists (?P)
        (and
            (subclass ?P FloweringPlant)
            (initialPart ?S ?P))))		 Economy.kif 4870-4881

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (applicableRelation ?O ?R)
        (instance ?O ?OC)
        (domain ?R 1 ?DC))
    (or
        (equal ?OC ?DC)
        (subclass ?OC ?DC)))		 Mid-level-ontology.kif 33334-33341
(=>
    (and
        (attribute ?G ToxicandInfectiousSubstance)
        (or
            (instance ?G Substance)
            (instance ?G Microorganism)))
    (exists (?O ?P ?I ?CLASS)
        (and
            (or
                (instance ?O Human)
                (instance ?O Animal))
            (orientation ?G ?O Near)
            (or
                (instance ?P Inhaling)
                (instance ?P Ingesting)
                (instance ?P Touching))
            (agent ?P ?O)
            (patient ?P ?G)
            (causes ?P ?I)
            (patient ?I ?O)
            (instance ?I ?CLASS)
            (capability ?CLASS resource ?G)
            (or
                (subclass ?CLASS Injuring)
                (subclass ?CLASS Death)))))		 Transportation.kif 4201-4225
(=>
    (and
        (attribute ?X DutyFree)
        (instance ?X Store))
    (exists (?AREA ?OBJ ?O ?SELL)
        (and
            (instance ?AREA GeopoliticalArea)
            (located ?X ?AREA)
            (subclass ?O Object)
            (importCommodityType ?AREA ?O)
            (instance ?OBJ ?O)
            (instance ?SELL Selling)
            (patient ?SELL ?OBJ)
            (located ?SELL ?X))))		 Hotel.kif 1489-1502
(=>
    (and
        (birthdate ?A ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (birthday ?A ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))		 Mid-level-ontology.kif 25885-25895
(=>
    (and
        (domain ?REL ?NUMBER ?CLASS1)
        (domain ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 215-221
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (subclass
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))		 Merge.kif 3003-3008
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS1)
        (domainSubclass ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 238-244
(=>
    (and
        (equal ?CLASS1
            (ReceivingAnObjectFn ?OBJCLASS1))
        (equal ?CLASS2
            (ReceivingAnObjectFn ?OBJCLASS2))
        (subclass ?OBJCLASS1 ?OBJCLASS2))
    (subclass ?CLASS1 ?CLASS2))		 Media.kif 195-200
(=>
    (and
        (equal ?M
            (OrganicObjectFn ?A))
        (subclass ?M Meat))
    (subclass ?A Animal))		 Economy.kif 5285-5290
(=>
    (and
        (equal ?O
            (OrganicObjectFn ?S))
        (subclass ?O OilFromPlant)
        (or
            (subclass ?S Seed)
            (subclass ?S Fruit)))
    (exists (?P)
        (and
            (subclass ?P FloweringPlant)
            (initialPart ?S ?P))))		 Economy.kif 4870-4881
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?ORG))
        (subclass ?P Object))
    (or
        (subclass ?ORG Organism)
        (subclass ?ORG AnatomicalStructure)))		 Economy.kif 5599-5606
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?S))
        (subclass ?P Pelt))
    (subclass ?S Skin))		 Economy.kif 5373-5377
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WoodProduct)
        (subclass ?S PlantStem))
    (exists (?T)
        (and
            (subclass ?T BotanicalTree)
            (initialPart ?S ?T))))		 Economy.kif 5576-5585
(=>
    (and
        (equal ?X
            (AttrFn ?CLASS ?ATTR))
        (instance ?I ?X))
    (and
        (instance ?I ?CLASS)
        (subclass ?X ?CLASS)
        (attribute ?I ?ATTR)))		 Merge.kif 1775-1783
(=>
    (and
        (instance ?A AegilopsGrass)
        (part ?C ?A)
        (instance ?C ?CLASS))
    (subclass ?CLASS DiploidCell))		 Economy.kif 4177-4182
(=>
    (and
        (instance ?C CommonWheatGrass)
        (part ?CELL ?C)
        (instance ?CELL ?CLASS))
    (subclass ?CLASS HexaploidCell))		 Economy.kif 4300-4305
(=>
    (and
        (instance ?C SpeltWheatGrass)
        (part ?CELL ?C)
        (instance ?CELL ?CLASS))
    (subclass ?CLASS HexaploidCell))		 Economy.kif 4330-4335
(=>
    (and
        (instance ?DECIDE Deciding)
        (agent ?DECIDE ?AGENT)
        (instance ?S Set)
        (patient ?DECIDE ?S)
        (element ?M ?S))
    (believes ?AGENT
        (exists (?CLASS)
            (and
                (instance ?M ?CLASS)
                (subclass ?CLASS IntentionalProcess)
                (capability ?CLASS agent ?AGENT)))))		 Merge.kif 12149-12161
(=>
    (and
        (instance ?E DurumWheatGrass)
        (part ?C ?E)
        (instance ?C ?CLASS))
    (subclass ?CLASS TetraploidCell))		 Economy.kif 4241-4246
(=>
    (and
        (instance ?E EinkornWheatGrass)
        (part ?C ?E)
        (instance ?E ?CLASS))
    (subclass ?CLASS DiploidCell))		 Economy.kif 4271-4276
(=>
    (and
        (instance ?E EmmerWheatGrass)
        (part ?C ?E)
        (instance ?C ?CLASS))
    (subclass ?CLASS TetraploidCell))		 Economy.kif 4209-4214
(=>
    (and
        (instance ?E TriticumUrartu)
        (part ?C ?E)
        (instance ?E ?CLASS))
    (subclass ?CLASS DiploidCell))		 Economy.kif 4285-4290
(=>
    (and
        (instance ?F Felling)
        (result ?F ?S))
    (exists (?STEM)
        (and
            (instance ?S
                (DeadFn ?STEM))
            (subclass ?STEM PlantStem))))		 Economy.kif 5827-5835
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?O))
    (exists (?ORG)
        (and
            (instance ?O
                (DeadFn ?ORG))
            (subclass ?ORG OrganicObject))))		 Mid-level-ontology.kif 19655-19663
(=>
    (and
        (instance ?HP HearingProtection)
        (instance ?PERSON Human)
        (wears ?PERSON ?HP))
    (hasPurpose ?HP
        (exists (?PROC ?INJ ?I)
            (and
                (instance ?PROC Process)
                (subclass ?INJ
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?SOUND ?HEAR ?HUMAN ?T)
                                (and
                                    (instance ?SOUND RadiatingSound)
                                    (instance ?HEAR Hearing)
                                    (instance ?HUMAN Human)
                                    (patient ?HEAR ?SOUND)
                                    (experiencer ?HEAR ?HUMAN)
                                    (causes ?HEAR ?I)
                                    (experiencer ?I ?HUMAN)
                                    (=>
                                        (holdsDuring ?T
                                            (experiencer ?I ?PERSON))
                                        (not
                                            (holdsDuring ?T
                                                (patient ?PROC ?PERSON)))))))))
                (prevents ?PROC ?INJ)
                (instrument ?PROC ?HP)))))		 Cars.kif 3508-3537

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (subclass ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 963-974
(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer ?T SortimoCorp)))		 Cars.kif 5170-5173

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


(subclass AAM AirAttackMissile) MilitaryDevices.kif 1327-1327
(subclass AAM AirLaunchMissile) MilitaryDevices.kif 1326-1326
(subclass AAM GuidedMissile) MilitaryDevices.kif 1328-1328
(subclass AAV AmphibiousVehicle) MilitaryDevices.kif 1804-1804
(subclass AAV MilitaryVehicle) MilitaryDevices.kif 1803-1803
(subclass AAV PassengerVehicle) MilitaryDevices.kif 1805-1805
(subclass AAV PoweredVehicle) MilitaryDevices.kif 1806-1806
(subclass ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve Nerve) Muscles.kif 778-778
(subclass ACPowerSource PowerSource) Mid-level-ontology.kif 28256-28256
(subclass ADHD PsychologicalDysfunction) Medicine.kif 3294-3294
(subclass AGM AirLaunchMissile) MilitaryDevices.kif 1280-1280
(subclass AGM GroundAttackMissile) MilitaryDevices.kif 1281-1281
(subclass AGM114 AGM) MilitaryDevices.kif 1360-1360
(subclass AGM114 AntiArmorWeapon) MilitaryDevices.kif 1362-1362
(subclass AGM114 BeamRidingGMissile) MilitaryDevices.kif 1361-1361
(subclass AGM65 AGM) MilitaryDevices.kif 1293-1293
(subclass AGM65 AntiArmorWeapon) MilitaryDevices.kif 1295-1295
(subclass AGM65 InfraRedGMissile) MilitaryDevices.kif 1294-1294
(subclass AH1 Helicopter) MilitaryDevices.kif 2046-2046
(subclass AH1 MilitaryVehicle) MilitaryDevices.kif 2047-2047
(subclass AIM9 AAM) MilitaryDevices.kif 1334-1334
(subclass AIM9 InfraRedGMissile) MilitaryDevices.kif 1335-1335
(subclass AMEV Ambulance) MilitaryDevices.kif 2287-2287
(subclass AMEV LandVehicle) MilitaryDevices.kif 2286-2286
(subclass AMEV MilitaryVehicle) MilitaryDevices.kif 2285-2285

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 3.0 is open source software produced by Articulate Software and its partners