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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subclass

 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 subclass の数値 1 引数は クラス の instance では %n
(domain subclass 2 Class) Merge.kif 132-132 subclass の数値 2 引数は クラス の instance では %n
(instance subclass BinaryPredicate) Merge.kif 129-129 subclass は 2進述語 の instance では %n
(instance subclass ClosedWorldPredicate) Merge.kif 18442-18442 subclass は ClosedWorldPredicate の instance では %n
(instance subclass PartialOrderingRelation) Merge.kif 130-130 subclass は 半順序関係 の instance では %n

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 21288-21288 subField は subclass の subrelation では %n
(subrelation subset subclass) Merge.kif 5391-5391 subset は subclass の subrelation では %n
(termFormat ChineseLanguage subclass "子类") domainEnglishFormat.kif 55716-55716
(termFormat ChineseLanguage subclass "子类别") chinese_format.kif 320-320
(termFormat ChineseTraditionalLanguage subclass "子類") domainEnglishFormat.kif 55715-55715
(termFormat EnglishLanguage subclass "subclass") domainEnglishFormat.kif 55714-55714

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 3984-4004
(=>
    (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 1186-1201
(=>
    (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 730-740
(=>
    (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 619-625
(=>
    (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 13519-13530
(=>
    (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 13488-13499
(=>
    (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 2112-2121
(=>
    (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 2156-2165
(=>
    (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 2202-2211
(=>
    (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 1980-1989
(=>
    (and
        (equal ?AF
            (OrganicObjectFn ?F))
        (subclass ?AF AnimalFat)
        (subclass ?F FatTissue))
    (initialPart ?F Animal))		 Food.kif 2876-2882
(=>
    (and
        (equal ?B
            (OrganicObjectFn ?P))
        (subclass ?B CoffeeBean)
        (subclass ?P Seed))
    (initialPart ?P CoffeePlant))		 Economy.kif 4629-4634
(=>
    (and
        (equal ?C
            (OrganicObjectFn ?S))
        (subclass ?C CocoaBean)
        (subclass ?S Seed))
    (initialPart ?S CocoaTree))		 Economy.kif 4693-4699
(=>
    (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 18350-18355
(=>
    (and
        (equal ?M
            (OrganicObjectFn ?A))
        (subclass ?M Meat))
    (subclass ?A Animal))		 Economy.kif 4945-4950
(=>
    (and
        (equal ?M
            (OrganicObjectFn ?G))
        (subclass ?M Malt)
        (subclass ?G CerealGrain))
    (initialPart ?G CerealGrass))		 Economy.kif 4166-4172
(=>
    (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 4532-4543

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 31304-31311
(=>
    (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 1478-1491
(=>
    (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 24185-24195
(=>
    (and
        (domain ?REL ?NUMBER ?CLASS1)
        (domain ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 221-227
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (subclass
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))		 Merge.kif 3005-3010
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS1)
        (domainSubclass ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 244-250
(=>
    (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 4945-4950
(=>
    (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 4532-4543
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?ORG))
        (subclass ?P Object))
    (or
        (subclass ?ORG Organism)
        (subclass ?ORG AnatomicalStructure)))		 Economy.kif 5258-5265
(=>
    (and
        (equal ?P
            (OrganicObjectFn ?S))
        (subclass ?P Pelt))
    (subclass ?S Skin))		 Economy.kif 5032-5036
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WoodProduct)
        (subclass ?S PlantStem))
    (exists (?T)
        (and
            (subclass ?T BotanicalTree)
            (initialPart ?S ?T))))		 Economy.kif 5235-5244
(=>
    (and
        (equal ?X
            (AttrFn ?CLASS ?ATTR))
        (instance ?I ?X))
    (and
        (instance ?I ?CLASS)
        (subclass ?X ?CLASS)
        (attribute ?I ?ATTR)))		 Merge.kif 1780-1788
(=>
    (and
        (instance ?A AegilopsGrass)
        (part ?C ?A)
        (instance ?C ?CLASS))
    (subclass ?CLASS DiploidCell))		 Economy.kif 3840-3845
(=>
    (and
        (instance ?C CommonWheatGrass)
        (part ?CELL ?C)
        (instance ?CELL ?CLASS))
    (subclass ?CLASS HexaploidCell))		 Economy.kif 3963-3968
(=>
    (and
        (instance ?C SpeltWheatGrass)
        (part ?CELL ?C)
        (instance ?CELL ?CLASS))
    (subclass ?CLASS HexaploidCell))		 Economy.kif 3993-3998
(=>
    (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 11984-11996
(=>
    (and
        (instance ?E DurumWheatGrass)
        (part ?C ?E)
        (instance ?C ?CLASS))
    (subclass ?CLASS TetraploidCell))		 Economy.kif 3904-3909
(=>
    (and
        (instance ?E EinkornWheatGrass)
        (part ?C ?E)
        (instance ?E ?CLASS))
    (subclass ?CLASS DiploidCell))		 Economy.kif 3934-3939
(=>
    (and
        (instance ?E EmmerWheatGrass)
        (part ?C ?E)
        (instance ?C ?CLASS))
    (subclass ?CLASS TetraploidCell))		 Economy.kif 3872-3877
(=>
    (and
        (instance ?E TriticumUrartu)
        (part ?C ?E)
        (instance ?E ?CLASS))
    (subclass ?CLASS DiploidCell))		 Economy.kif 3948-3953
(=>
    (and
        (instance ?F Felling)
        (result ?F ?S))
    (exists (?STEM)
        (and
            (instance ?S
                (DeadFn ?STEM))
            (subclass ?STEM PlantStem))))		 Economy.kif 5485-5493
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?O))
    (exists (?ORG)
        (and
            (instance ?O
                (DeadFn ?ORG))
            (subclass ?ORG OrganicObject))))		 Mid-level-ontology.kif 18033-18041
(=>
    (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 3447-3476
(=>
    (and
        (instance ?MENU AlcoholMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X AlcoholicBeverage))		 Dining.kif 219-223

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 895-906 FitForMilitaryServiceMaleFn 地政学的地域 は エンティティー class の instances の数 と equal では %n
(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer ?T SortimoCorp)))		 Cars.kif 5109-5112 オブジェクト オブジェクト は HandToolBox の subclass では %n manufacturer オブジェクト and SortimoCorp

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


(subclass AAM AirAttackMissile) MilitaryDevices.kif 1170-1170 AAM は AirAttackMissile の subclass では %n
(subclass AAM AirLaunchMissile) MilitaryDevices.kif 1169-1169 AAM は AirLaunchMissile の subclass では %n
(subclass AAM GuidedMissile) MilitaryDevices.kif 1171-1171 AAM は GuidedMissile の subclass では %n
(subclass AAV AmphibiousVehicle) MilitaryDevices.kif 1647-1647 AAV は AmphibiousVehicle の subclass では %n
(subclass AAV MilitaryVehicle) MilitaryDevices.kif 1646-1646 AAV は MilitaryVehicle の subclass では %n
(subclass AAV PassengerVehicle) MilitaryDevices.kif 1648-1648 AAV は PassengerVehicle の subclass では %n
(subclass AAV PoweredVehicle) MilitaryDevices.kif 1649-1649 AAV は PoweredVehicle の subclass では %n
(subclass ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve Nerve) Muscles.kif 778-778 ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve は Nerve の subclass では %n
(subclass ACPowerSource PowerSource) Mid-level-ontology.kif 26287-26287 ACPowerSource は PowerSource の subclass では %n
(subclass ADHD PsychologicalDysfunction) Medicine.kif 3293-3293 ADHD は 心理的機能障害 の subclass では %n
(subclass AGM AirLaunchMissile) MilitaryDevices.kif 1123-1123 AGM は AirLaunchMissile の subclass では %n
(subclass AGM GroundAttackMissile) MilitaryDevices.kif 1124-1124 AGM は GroundAttackMissile の subclass では %n
(subclass AGM114 AGM) MilitaryDevices.kif 1203-1203 AGM114 は AGM の subclass では %n
(subclass AGM114 AntiArmorWeapon) MilitaryDevices.kif 1205-1205 AGM114 は AntiArmorWeapon の subclass では %n
(subclass AGM114 BeamRidingGMissile) MilitaryDevices.kif 1204-1204 AGM114 は BeamRidingGMissile の subclass では %n
(subclass AGM65 AGM) MilitaryDevices.kif 1136-1136 AGM65 は AGM の subclass では %n
(subclass AGM65 AntiArmorWeapon) MilitaryDevices.kif 1138-1138 AGM65 は AntiArmorWeapon の subclass では %n
(subclass AGM65 InfraRedGMissile) MilitaryDevices.kif 1137-1137 AGM65 は InfraRedGMissile の subclass では %n
(subclass AH1 Helicopter) MilitaryDevices.kif 1889-1889 AH1 は Helicopter の subclass では %n
(subclass AH1 MilitaryVehicle) MilitaryDevices.kif 1890-1890 AH1 は MilitaryVehicle の subclass では %n
(subclass AIM9 AAM) MilitaryDevices.kif 1177-1177 AIM9 は AAM の subclass では %n
(subclass AIM9 InfraRedGMissile) MilitaryDevices.kif 1178-1178 AIM9 は InfraRedGMissile の subclass では %n
(subclass AMFMAlarmClock AlarmClock) Mid-level-ontology.kif 25478-25478 AMFMAlarmClock は AlarmClock の subclass では %n
(subclass AMFMAlarmClock RadioReceiver) Mid-level-ontology.kif 25479-25479 AMFMAlarmClock は RadioReceiver の subclass では %n
(subclass AMRadioStation RadioStation) Communications.kif 293-293 AMRadioStation は RadioStation の subclass では %n

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