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 131-133 | |
(domain subclass 1 Class) | Merge.kif 129-129 | 子类别 的 1 数量 是 类 的 instance |
(domain subclass 2 Class) | Merge.kif 130-130 | 子类别 的 2 数量 是 类 的 instance |
(instance subclass BinaryPredicate) | Merge.kif 127-127 | 子类别 是 二元谓语 的 instance |
(instance subclass PartialOrderingRelation) | Merge.kif 128-128 | 子类别 是 偏序关系 的 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 | |
(subrelation subset subclass) | Merge.kif 5291-5291 | 子集 是 子类别 的 subrelation |
(termFormat ChineseLanguage subclass "子类") | domainEnglishFormat.kif 55683-55683 | |
(termFormat ChineseLanguage subclass "子类别") | chinese_format.kif 320-320 | |
(termFormat ChineseTraditionalLanguage subclass "子類") | domainEnglishFormat.kif 55682-55682 | |
(termFormat EnglishLanguage subclass "subclass") | domainEnglishFormat.kif 55681-55681 |
antecedent |
![]() |
(=> (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 1164-1179 |
|
(=> (and (authors ?AGENT ?CLASS) (subclass ?CLASS MusicalComposition)) (composer ?AGENT ?CLASS)) |
Media.kif 1849-1853 | |
(=> (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 969-973 | |
(=> (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 2877-2883 |
|
(=> (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 605-611 | |
(=> (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 484-500 |
|
(=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Process)) (modalAttribute (exists (?S ?LOC) (and (element ?LOC (PropertyFn ?AGENT)) (agent ?S ?AGENT) (patient ?S ?CUST) (or (instance ?S ?PHYS) (and (instance ?PROC ?PHY) (subProcess ?S ?PROC))) (located ?S ?LOC))) Possibility)) |
Hotel.kif 502-518 |
|
(=> (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 13013-13024 |
|
(=> (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 12982-12993 | |
(=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?PROCESS)) (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB)) |
WMD.kif 950-954 | |
(=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?SUBSTANCE)) (diseaseTreatment ?DISEASE ?SUB ?PROCESS)) |
WMD.kif 956-960 | |
(=> (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 2123-2132 | |
(=> (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 2167-2176 | |
(=> (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 2213-2222 | |
(=> (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 1991-2000 | |
(=> (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)) (inhibits ?DEP ?PHYS)) |
Mid-level-ontology.kif 17752-17756 | |
(=> (and (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (subclass ?PHYS Process)) (not (desires ?COMP (exists (?P) (and (instance ?P ?PHYS) (involvedInEvent ?P ?COMP)))))) |
Mid-level-ontology.kif 17758-17767 | |
(=> (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 2288-2297 | |
(=> (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 334-349 |
|
(=> (and (freeRoomAmenity ?ROOM ?PROC) (subclass ?PROC Process) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (patient ?P ?GUEST) (or (instance ?P ?PROC) (and (instance ?S ?PROC) (subProcess ?P ?S))) (located ?P ?R)) (price ?P (MeasureFn 0.0 UnitedStatesDollar) ?HOTEL)) |
Hotel.kif 351-365 | |
(=> (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 790-811 |
|
(=> (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 |
|
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 30754-30761 | |
(=> (and (domain ?REL ?NUMBER ?CLASS1) (domain ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1))) |
Merge.kif 219-225 | |
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS)) |
Merge.kif 2933-2938 | |
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS1) (domainSubclass ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1))) |
Merge.kif 242-248 | |
(=> (and (equal ?CLASS1 (ReceivingAnObjectFn ?OBJCLASS1)) (equal ?CLASS2 (ReceivingAnObjectFn ?OBJCLASS2)) (subclass ?OBJCLASS1 ?OBJCLASS2)) (subclass ?CLASS1 ?CLASS2)) |
Media.kif 195-200 | |
(=> (and (equal ?X (AttrFn ?CLASS ?ATTR)) (instance ?I ?X)) (and (instance ?I ?CLASS) (subclass ?X ?CLASS) (attribute ?I ?ATTR))) |
Merge.kif 1720-1728 | |
(=> (and (instance ?MENU AlcoholMenu) (catalogItem ?X ?MENU)) (subclass ?X AlcoholicBeverage)) |
Dining.kif 215-219 |
|
(=> (and (instance ?MENU BeverageMenu) (catalogItem ?X ?MENU)) (subclass ?X Beverage)) |
Dining.kif 204-208 |
|
(=> (and (instance ?MENU Menu) (catalogItem ?X ?MENU)) (subclass ?X (FoodForFn Human))) |
Dining.kif 178-182 | |
(=> (and (instance ?MENU WineMenu) (catalogItem ?X ?MENU)) (subclass ?X WineMenu)) |
Dining.kif 225-229 | |
(=> (and (instance ?PUB Publication) (patient ?PUB ?TEXT)) (subclass ?TEXT Text)) |
Merge.kif 12613-12617 | |
(=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea)) |
Mid-level-ontology.kif 16324-16328 | |
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3320-3324 | |
(=> (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) (instance ?P1 ?PC) (refers ?X ?Q) (refers ?Q ?P1) (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 29408-29438 |
|
(=> (and (range ?REL ?CLASS1) (range ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1))) |
Merge.kif 322-328 | |
(=> (and (rangeSubclass ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (subclass ?VALUE ?CLASS)) |
Merge.kif 337-341 | |
(=> (and (rangeSubclass ?REL ?CLASS1) (rangeSubclass ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1))) |
Merge.kif 349-355 | |
(=> (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 20353-20360 | |
(=> (codeMapping ISO-639-1 ?TOKEN ?X) (or (instance ?X HumanLanguage) (subclass ?X HumanLanguage))) |
Languages.kif 14705-14709 | |
(=> (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS) (subclass ?PROCESS Ingesting)) |
WMD.kif 1279-1281 | |
(=> (diseaseTreatment ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering)) |
WMD.kif 1306-1308 | |
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM) (=> (inList ?ITEM (ListFn @ROW)) (subclass ?ITEM ?CLASS)))) |
Merge.kif 2878-2883 | |
(=> (equal ?C (AgentOfOrganismFn CoccidiodesPosadasii)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 1384-1387 |
|
(=> (equal ?C (AgentOfOrganismFn CoccidioidesImmitis)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 1372-1375 | |
(=> (equal ?C (AgentOfOrganismFn SerratiaMarcenscens)) (subclass ?C LifeThreateningAgent)) |
WMD.kif 1362-1365 |
|
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 5112-5115 | 有存在 施事体 这样 那个 施事体 是 HandToolBox 的 subclass 和 manufacturer SortimoCorp and 那个 施事体 |
appearance as argument number 0 |
![]() |
![]() |
![]() |