Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  witness

 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 子类别 的 1 数量 是 类 的 instance
(domain subclass 2 Class) Merge.kif 132-132 子类别 的 2 数量 是 类 的 instance
(instance subclass BinaryPredicate) Merge.kif 129-129 子类别 是 二元谓语 的 instance
(instance subclass ClosedWorldPredicate) Merge.kif 18660-18660 子类别 是 ClosedWorldPredicate 的 instance
(instance subclass PartialOrderingRelation) Merge.kif 130-130 子类别 是 偏序关系 的 instance

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


(format ChineseLanguage subclass "%1 %n 是 %2 的 subclass") chinese_format.kif 319-319
(format EnglishLanguage subclass "%1 is %n a subclass of %2") english_format.kif 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 子领域 是 子类别 的 subrelation
(termFormat ChineseLanguage subclass "子类") domainEnglishFormat.kif 55708-55708 子领域 是 子类别 的 subrelation
(termFormat ChineseLanguage subclass "子类别") chinese_format.kif 320-320 子领域 是 子类别 的 subrelation
(termFormat ChineseTraditionalLanguage subclass "子類") domainEnglishFormat.kif 55707-55707 子领域 是 子类别 的 subrelation
(termFormat EnglishLanguage subclass "subclass") domainEnglishFormat.kif 55706-55706 子领域 是 子类别 的 subrelation
(termFormat de subclass "teilkategorie") terms-de.txt 133-133 子领域 是 子类别 的 subrelation

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 33332-33339
(=>
    (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 4203-4227
(=>
    (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 25883-25893
(=>
    (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 3018-3023
(=>
    (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 1790-1798
(=>
    (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 12164-12176
(=>
    (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 equal 地缘政治区域 的 fit 对于军服务男性 and 符号串 所描述的类别 instance 的数量
(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer ?T SortimoCorp)))		 Cars.kif 5170-5173 有存在 有点 客体 这样 有点 客体 是 HandToolBox 的 subclass 和 manufacturer 那个 有点 客体 and SortimoCorp

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


(subclass ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve Nerve) Muscles.kif 778-778 ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve 是 Nerve 的 subclass
(subclass ACPowerSource PowerSource) Mid-level-ontology.kif 28254-28254 ACPowerSource 是 能量源 的 subclass
(subclass ADHD PsychologicalDysfunction) Medicine.kif 3294-3294 ADHD 是 心理功能障碍 的 subclass
(subclass AMFMAlarmClock AlarmClock) Mid-level-ontology.kif 27208-27208 AMFMAlarmClock 是 AlarmClock 的 subclass
(subclass AMFMAlarmClock RadioReceiver) Mid-level-ontology.kif 27209-27209 AMFMAlarmClock 是 无线电接收器 的 subclass
(subclass AMRadioStation RadioStation) Communications.kif 293-293 AM广播电台 是 广播电台 的 subclass
(subclass AMRadioSystem RadioSystem) Communications.kif 236-236 AM无线电系统 是 无线电系统 的 subclass
(subclass AOCnumber SymbolicString) Transportation.kif 4075-4075 AOCnumber 是 符号串 的 subclass
(subclass ATMMachine StationaryArtifact) FinancialOntology.kif 3601-3601 自动提款机 是 固定人工制品 的 subclass
(subclass ATMSlot HoleRegion) FinancialOntology.kif 3677-3677 ATM插槽 是 洞 的 subclass
(subclass ATVTire Tire) Cars.kif 4876-4876 ATVTire 是 Tire 的 subclass
(subclass AVCTP ComputerProgram) ComputingBrands.kif 2169-2169 影/音控制传输协议 是 电脑程序 的 subclass
(subclass AVPUStatus RelationalAttribute) Medicine.kif 6430-6430 AVPUStatus 是 关联属性 的 subclass
(subclass AbaloneMeat MolluskMeat) Food.kif 1994-1994 AbaloneMeat 是 MolluskMeat 的 subclass
(subclass Abatacept Immunosupressant) Medicine.kif 4952-4952 Abatacept 是 Immunosupressant 的 subclass
(subclass Abayah Cloak) ArabicCulture.kif 527-527 阿巴亚 是 披风 的 subclass
(subclass Abbey ReligiousOrganization) People.kif 1213-1213 僧院 是 宗教机构 的 subclass
(subclass Abdomen AnimalAnatomicalStructure) Mid-level-ontology.kif 14148-14148 Abdomen 是 动物解剖结构 的 subclass
(subclass AbdominalAorta Artery) arteries.kif 1272-1272 AbdominalAorta 是 动脉 的 subclass
(subclass AbducensNerveCNVI Nerve) Muscles.kif 135-135 AbducensNerveCNVI 是 Nerve 的 subclass
(subclass Abducting BodyMotion) Anatomy.kif 2046-2046 Abducting 是 身体运动 的 subclass
(subclass Abducting MovingAwayFrom) Anatomy.kif 2047-2047 Abducting 是 MovingAwayFrom 的 subclass
(subclass AbductorDigitiMinimiMuscle Muscle) Muscles.kif 1608-1608 AbductorDigitiMinimiMuscle 是 肌肉 的 subclass
(subclass AbductorHallucisMuscle Muscle) Muscles.kif 2127-2127 AbductorHallucisMuscle 是 肌肉 的 subclass
(subclass AbductorPollicisBrevisMuscle Muscle) Muscles.kif 1581-1581 AbductorPollicisBrevisMuscle 是 肌肉 的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners