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 | Die Zahl 1 Argument von subclass ist ein fall von Class %n{nicht} |
(domain subclass 2 Class) | Merge.kif 132-132 | Die Zahl 2 Argument von subclass ist ein fall von Class %n{nicht} |
(instance subclass BinaryPredicate) | Merge.kif 129-129 | subclass ist ein fall von BinaryPredicate %n{nicht} |
(instance subclass ClosedWorldPredicate) | Merge.kif 18472-18472 | subclass ist ein fall von ClosedWorldPredicate %n{nicht} |
(instance subclass PartialOrderingRelation) | Merge.kif 130-130 | subclass ist ein fall von PartialOrderingRelation %n{nicht} |
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 21339-21339 | subField ist eine teilrelation von subclass |
(subrelation subset subclass) | Merge.kif 5391-5391 | subset ist eine teilrelation von subclass |
(termFormat ChineseLanguage subclass "子类") | domainEnglishFormat.kif 55704-55704 | |
(termFormat ChineseLanguage subclass "子类别") | chinese_format.kif 320-320 | |
(termFormat ChineseTraditionalLanguage subclass "子類") | domainEnglishFormat.kif 55703-55703 | |
(termFormat EnglishLanguage subclass "subclass") | domainEnglishFormat.kif 55702-55702 |
antecedent |
consequent |
(=> (and (applicableRelation ?O ?R) (instance ?O ?OC) (domain ?R 1 ?DC)) (or (equal ?OC ?DC) (subclass ?OC ?DC))) |
Mid-level-ontology.kif 31387-31394 |
|
(=> (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 24236-24246 |
|
(=> (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 12014-12026 |
|
(=> (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 18084-18092 |
|
(=> (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 GeopoliticalArea ist gleich die Zahl Faellen in die kategorie die SymbolicString beschreibt %n{nicht} |
(exists (?T) (and (subclass ?T HandToolBox) (manufacturer ?T SortimoCorp))) |
Cars.kif 5109-5112 | Es gibt ** Object um ** Object ist eine teilkategorie von HandToolBox und manufacturer ** ** Object and SortimoCorp |
appearance as argument number 0 |