TreeView Knowledge Base Browser

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	domain subclass, 1 and Class
(domain subclass 2 Class)	Merge.kif 130-130	domain subclass, 2 and Class
(instance subclass BinaryPredicate)	Merge.kif 127-127	instance subclass and BinaryPredicate
(instance subclass PartialOrderingRelation)	Merge.kif 128-128	instance subclass and PartialOrderingRelation

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 5163-5163	subrelation subset and subclass
(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	attribute Object and Oversized immediateInstance Object and Class subclass Class and HotelUnit Physical RealNumber, RealNumber and UnitOfMeasure immediateInstance Physical and Class instance UnitOfMeasure and UnitOfArea measure Physical and MeasureFn RealNumber and UnitOfMeasure measure Object and MeasureFn RealNumber and UnitOfMeasure instance RealNumber and AreaMeasure instance RealNumber and AreaMeasure greaterThan RealNumber and RealNumber
(=> (and (authors ?AGENT ?CLASS) (subclass ?CLASS MusicalComposition)) (composer ?AGENT ?CLASS))	Media.kif 1853-1857	authors Agent and MusicalComposition subclass MusicalComposition and MusicalComposition composer Agent and MusicalComposition
(=> (and (biochemicalAgentDelivery ?AGENT ?PROCESS) (subclass ?SUB ?PROCESS)) (biochemicalAgentDelivery ?AGENT ?SUB))	WMD.kif 784-788	biochemicalAgentDelivery BiochemicalAgent and Process subclass Process and Process biochemicalAgentDelivery BiochemicalAgent and Process
(=> (and (biologicalAgentCarrier ?AGENT ?ORGANISM) (subclass ?SUB ?ORGANISM)) (biologicalAgentCarrier ?AGENT ?SUB))	WMD.kif 964-968	biologicalAgentCarrier BiologicalAgent and Organism subclass Organism and Organism biologicalAgentCarrier BiologicalAgent and Organism
(=> (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	capability Process, CaseRole and Object subclass Process and Shooting Object instance Object and Weapon part Object and Object capability Process, CaseRole and Object
(=> (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 2871-2877	codeMapping ISO-4217-A, SymbolicString and UnitOfCurrency codeMapping ISO-3166-1-alpha-2, SymbolicString and Class subclass Class and GeopoliticalArea equal SymbolicString and SubstringFn SymbolicString, 0 and 2 currencyType Class and UnitOfCurrency
(=> (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 606-612	commemoratesDate Holiday and DayFn PositiveInteger and MonthFn Month and YearFn Integer instance Entity and Holiday subclass Holiday and FixedHoliday lessThanOrEqualTo Integer and entity-YEAR instance Entity and DayFn PositiveInteger and MonthFn Month and YearFn entity-YEAR
(=> (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	customer CognitiveAgent and CognitiveAgent propertyAmenity CognitiveAgent and Physical subclass Physical and Object instance Entity and Physical confersRight entity instance entity and Process resource entity and Entity instrument entity and Entity patient entity and Entity agent entity and CognitiveAgent experiencer entity and CognitiveAgent, CognitiveAgent and CognitiveAgent
(=> (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	customer CognitiveAgent and CognitiveAgent propertyAmenity CognitiveAgent and Physical subclass Physical and Process modalAttribute entity entity element entity and PropertyFn CognitiveAgent agent entity and CognitiveAgent patient entity and CognitiveAgent instance entity and Physical instance entity and entity subProcess entity and entity located entity and entity and Possibility
(=> (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 12986-12997	defaultMaximumMeasure Object and MeasureFn RealNumber and UnitOfMeasure subclass Class and NonCompositeUnitOfMeasure instance UnitOfMeasure and Class modalAttribute entity RealNumberUANTITY and entity instance entity and Object measure entity and MeasureFn RealNumberUANTITY and entity instance entity and Class greaterThan MeasureFn RealNumberUANTITY and entity and MeasureFn RealNumber and UnitOfMeasure and Unlikely
(=> (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 12955-12966	defaultMinimumMeasure Object and MeasureFn RealNumber and UnitOfMeasure subclass Class and NonCompositeUnitOfMeasure instance UnitOfMeasure and Class modalAttribute entity RealNumberUANTITY and entity instance entity and Object measure entity and MeasureFn RealNumberUANTITY and entity instance entity and Class lessThan RealNumberUANTITY and RealNumber and Unlikely
(=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?PROCESS)) (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB))	WMD.kif 945-949	diseaseTreatment DiseaseOrSyndrome, BiologicallyActiveSubstance and Process subclass Process and Process diseaseTreatment DiseaseOrSyndrome, BiologicallyActiveSubstance and Process
(=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?SUBSTANCE)) (diseaseTreatment ?DISEASE ?SUB ?PROCESS))	WMD.kif 951-955	diseaseTreatment DiseaseOrSyndrome, BiologicallyActiveSubstance and Process subclass BiologicallyActiveSubstance and BiologicallyActiveSubstance diseaseTreatment DiseaseOrSyndrome, BiologicallyActiveSubstance and Process
(=> (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 2116-2125	electricityConsumptionInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualElectricityConsumption GeopoliticalArea and PhysicalQuantity
(=> (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 2160-2169	electricityExportInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualElectricityExport GeopoliticalArea and PhysicalQuantity
(=> (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 2206-2215	electricityImportInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualElectricityImport GeopoliticalArea and PhysicalQuantity
(=> (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 1984-1993	electricityProductionInPeriod GeopoliticalArea, PhysicalQuantity and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualElectricityProduction GeopoliticalArea and PhysicalQuantity
(=> (and (equal ?CLASS1 (ReceivingAnObjectFn ?OBJCLASS1)) (equal ?CLASS2 (ReceivingAnObjectFn ?OBJCLASS2)) (subclass ?OBJCLASS1 ?OBJCLASS2)) (subclass ?CLASS1 ?CLASS2))	Media.kif 195-200	equal Getting and ReceivingAnObjectFn Object equal Getting and ReceivingAnObjectFn Object subclass Object and Object subclass Getting and Getting
(=> (and (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (subclass ?PHYS Process)) (inhibits ?DEP ?PHYS))	Mid-level-ontology.kif 17725-17729	equal and DepartmentOfPreventingFn Organization and Process subclass Process and Process inhibits and Process
(=> (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 17731-17740	equal and DepartmentOfPreventingFn Organization and Process subclass Process and Process desires Organization and entity instance entity and Process involvedInEvent entity and Organization
(=> (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 2281-2290	exportTotalInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval subclass TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and annualExportTotal GeopoliticalArea and CurrencyMeasure
(=> (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	freeRoomAmenity HotelUnit and Class subclass Class and Object instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent instance Object and Class located Object and TemporaryResidence instance Process and Process agent Process and Human patient Process and Object instrument Process and Object resource Process and Object price Process, MeasureFn 0 and UnitedStatesDollar and Agent
(=> (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 UnitedStatesDollar) ?HOTEL))	Hotel.kif 351-365	freeRoomAmenity HotelUnit and Class subclass Class and Process instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent patient Process and Human instance Process and Class instance Process and Class subProcess Process and Process located Process and TemporaryResidence price Process, MeasureFn 0 and UnitedStatesDollar and Agent
(=> (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	functionRoomAmenity HotelFunctionRoom and Physical instance Entity and HotelFunctionRoom element Entity and PropertyFn Agent instance Process and Renting patient Process and Entity agent Process and Agent destination Process and Entity subclass Physical and Object modalAttribute entity entity instance entity and Physical instance entity and Process resource entity and entity instrument entity and entity patient entity and entity agent entity and Entity experiencer entity and Entity and Possibility
(=> (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	guest Human and CognitiveAgent stays Human and TemporaryResidence element TemporaryResidence and PropertyFn CognitiveAgent instance TemporaryResidence and TemporaryResidenceOOM roomAmenity TemporaryResidenceOOM and Physical subclass Physical and Object Physical instance Physical and Physical located Physical and TemporaryResidence confersRight entity agent entity and Human instrument entity and Physical patient entity and Physical resource entity and Physical, CognitiveAgent and Human

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 30726-30733	applicableRelation Object and Relation instance Object and ObjectC domain Relation, 1 and Class equal ObjectC and Class subclass ObjectC and Class
(=> (and (domain ?REL ?NUMBER ?CLASS1) (domain ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 219-225	domain Relation, PositiveInteger and Class domain Relation, PositiveInteger and Class subclass Class and Class subclass Class and Class
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 2905-2910	domainSubclass Relation, PositiveInteger and Class instance Relation and Predicate Relation @ROW subclass ListOrderFn ListFn @ROW and PositiveInteger and Class
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS1) (domainSubclass ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 242-248	domainSubclass Relation, PositiveInteger and Class domainSubclass Relation, PositiveInteger and Class subclass Class and Class subclass Class and Class
(=> (and (equal ?CLASS1 (ReceivingAnObjectFn ?OBJCLASS1)) (equal ?CLASS2 (ReceivingAnObjectFn ?OBJCLASS2)) (subclass ?OBJCLASS1 ?OBJCLASS2)) (subclass ?CLASS1 ?CLASS2))	Media.kif 195-200	equal Getting and ReceivingAnObjectFn Object equal Getting and ReceivingAnObjectFn Object subclass Object and Object subclass Getting and Getting
(=> (and (instance ?MENU AlcoholMenu) (catalogItem ?X ?MENU)) (subclass ?X AlcoholicBeverage))	Dining.kif 215-219	instance Catalog and AlcoholMenu catalogItem Entity and Catalog subclass Entity and AlcoholicBeverage
(=> (and (instance ?MENU BeverageMenu) (catalogItem ?X ?MENU)) (subclass ?X Beverage))	Dining.kif 204-208	instance Catalog and BeverageMenu catalogItem Entity and Catalog subclass Entity and Beverage
(=> (and (instance ?MENU Menu) (catalogItem ?X ?MENU)) (subclass ?X (FoodForFn Human)))	Dining.kif 178-182	instance Catalog and Menu catalogItem Entity and Catalog subclass Entity and FoodForFn Human
(=> (and (instance ?MENU WineMenu) (catalogItem ?X ?MENU)) (subclass ?X WineMenu))	Dining.kif 225-229	instance Catalog and WineMenu catalogItem Entity and Catalog subclass Entity and WineMenu
(=> (and (instance ?PUB Publication) (patient ?PUB ?TEXT)) (subclass ?TEXT Text))	Merge.kif 12285-12289	instance Process and Publication patient Process and Class subclass Class and Text
(=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea))	Mid-level-ontology.kif 16297-16301	instance Relation and EconomicRelation domain Relation, 1 and Class subclass Class and GeopoliticalArea
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer))	Merge.kif 3284-3288	instance Function and SequenceFunction range Function and Class subclass Class and Integer
(=> (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 29380-29410	instance Process and BreakingRecord agent Process and Agent Class Class, Process, TimePoint, CaseRole, Class and Entity instance Class and Set instance Agent and Class subclass Class and Process subclass Class and Region instance TimePoint and TimePoint instance Entity and Quantity instance Process and Class refers Process and Entity refers Entity and Process playsRoleInEvent Agent, CaseRole and Process eventLocated Process and Class Entity Entity instance Entity and Class equal Entity and Agent instance Entity and Class holdsDuring TimeIntervalFn TimePoint and EndFn WhenFn Process and playsRoleInEvent Entity, CaseRole and Entity eventLocated Entity and Class
(=> (and (range ?REL ?CLASS1) (range ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 322-328	range Function and Class range Function and Class subclass Class and Class subclass Class and Class
(=> (and (rangeSubclass ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (subclass ?VALUE ?CLASS))	Merge.kif 337-341	rangeSubclass Function and Class equal AssignmentFn Function and @ROW and Class subclass Class and Class
(=> (and (rangeSubclass ?REL ?CLASS1) (rangeSubclass ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 349-355	rangeSubclass Function and Class rangeSubclass Function and Class subclass Class and Class subclass Class and Class
(=> (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 20326-20333	attribute Object and MedicalDoctor Process Process subclass Process and DiagnosticProcess subclass Process and TherapeuticProcess capability Process, agent and Object capability Process, agent and Object
(=> (classIntersection ?CLASS1 ?CLASS2 ?INTERSECT) (and (subclass ?INTERSECT ?CLASS1) (subclass ?INTERSECT ?CLASS2)))	ComputerInput.kif 74-78	classIntersection Class, Class and Class subclass Class and Class subclass Class and Class
(=> (codeMapping ISO-639-1 ?TOKEN ?X) (or (instance ?X HumanLanguage) (subclass ?X HumanLanguage)))	Languages.kif 14705-14709	codeMapping ISO-639-1, SymbolicString and Class instance Class and HumanLanguage subclass Class and HumanLanguage
(=> (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS) (subclass ?PROCESS Ingesting))	WMD.kif 1273-1275	diseaseTreatment DiseaseOrSyndrome, OralAntibiotic and Process subclass Process and Ingesting
(=> (diseaseTreatment ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering))	WMD.kif 1300-1302	diseaseTreatment DiseaseOrSyndrome, TopicalAntibiotic and Process subclass Process and Covering
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM) (=> (inList ?ITEM (ListFn @ROW)) (subclass ?ITEM ?CLASS))))	Merge.kif 2850-2855	disjointDecomposition Class and @ROW Class inList Class and ListFn @ROW subclass Class and Class
(=> (equal ?CLASS (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?CLASS ?TYPE))	Geography.kif 6518-6520	equal GeographicArea and GeographicPartTypeFn GeographicArea and GeographicArea subclass GeographicArea and GeographicArea
(=> (equal ?X (AttrFn ?CLASS ?ATTR)) (forall (?I) (=> (instance ?I ?X) (and (instance ?I ?CLASS) (subclass ?X ?CLASS) (property ?I ?ATTR)))))	Merge.kif 1694-1703	equal Class and AttrFn Class and Attribute Entity instance Entity and Class instance Entity and Class subclass Class and Class property Entity and Attribute
(=> (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (subclass ?PRODUCTTYPE Collection))	Media.kif 3185-3187	groupingTitle SymbolicString, Class and Language subclass Class and Collection

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

Agent subclass Agent and HandToolBox manufacturer SortimoCorp and Agent

appearance as argument number 0

(subclass (AgentOfOrganismFn CoccidiodesPosadasii) LifeThreateningAgent)	WMD.kif 1367-1367	subclass AgentOfOrganismFn CoccidiodesPosadasii and LifeThreateningAgent
(subclass (AgentOfOrganismFn CoccidioidesImmitis) LifeThreateningAgent)	WMD.kif 1360-1360	subclass AgentOfOrganismFn CoccidioidesImmitis and LifeThreateningAgent
(subclass (AgentOfOrganismFn MalarialPlasmodium) BiologicalAgent)	WMD.kif 1584-1584	subclass AgentOfOrganismFn MalarialPlasmodium and BiologicalAgent
(subclass (AgentOfOrganismFn SerratiaMarcenscens) LifeThreateningAgent)	WMD.kif 1355-1355	subclass AgentOfOrganismFn SerratiaMarcenscens and LifeThreateningAgent
(subclass (AgentOfOrganismFn TickBorneEncephalitisVirus) LifeThreateningAgent)	WMD.kif 1988-1988	subclass AgentOfOrganismFn TickBorneEncephalitisVirus and LifeThreateningAgent
(subclass (AgentOfOrganismFn YersiniaPestis) LifeThreateningAgent)	WMD.kif 400-400	subclass AgentOfOrganismFn YersiniaPestis and LifeThreateningAgent
(subclass (DeadFn Apple) GroceryProduce)	Economy.kif 3938-3938	subclass DeadFn Apple and GroceryProduce
(subclass (DeadFn Avocado) GroceryProduce)	Economy.kif 3964-3964	subclass DeadFn Avocado and GroceryProduce
(subclass (DeadFn Banana) GroceryProduce)	Economy.kif 3967-3967	subclass DeadFn Banana and GroceryProduce
(subclass (DeadFn Berry) GroceryProduce)	Economy.kif 3935-3935	subclass DeadFn Berry and GroceryProduce
(subclass (DeadFn Breadfruit) GroceryProduce)	Economy.kif 3970-3970	subclass DeadFn Breadfruit and GroceryProduce
(subclass (DeadFn Cabbage) GroceryProduce)	Economy.kif 3843-3843	subclass DeadFn Cabbage and GroceryProduce
(subclass (DeadFn Carrot) GroceryProduce)	Economy.kif 3876-3876	subclass DeadFn Carrot and GroceryProduce
(subclass (DeadFn Cassava) GroceryProduce)	Economy.kif 3896-3896	subclass DeadFn Cassava and GroceryProduce
(subclass (DeadFn Cauliflower) GroceryProduce)	Economy.kif 3846-3846	subclass DeadFn Cauliflower and GroceryProduce
(subclass (DeadFn CitrusFruit) GroceryProduce)	Economy.kif 3944-3944	subclass DeadFn CitrusFruit and GroceryProduce
(subclass (DeadFn Coconut) GroceryProduce)	Economy.kif 3973-3973	subclass DeadFn Coconut and GroceryProduce
(subclass (DeadFn Cucumber) GroceryProduce)	Economy.kif 3840-3840	subclass DeadFn Cucumber and GroceryProduce
(subclass (DeadFn DateFruit) GroceryProduce)	Economy.kif 3976-3976	subclass DeadFn DateFruit and GroceryProduce
(subclass (DeadFn EdibleNut) GroceryProduce)	Economy.kif 4019-4019	subclass DeadFn EdibleNut and GroceryProduce
(subclass (DeadFn Eggplant) GroceryProduce)	Economy.kif 3849-3849	subclass DeadFn Eggplant and GroceryProduce
(subclass (DeadFn Grape) GroceryProduce)	Economy.kif 3927-3927	subclass DeadFn Grape and GroceryProduce
(subclass (DeadFn Groundnut) GroceryProduce)	Economy.kif 4033-4033	subclass DeadFn Groundnut and GroceryProduce
(subclass (DeadFn LeafyGreenVegetable) GroceryProduce)	Economy.kif 3837-3837	subclass DeadFn LeafyGreenVegetable and GroceryProduce
(subclass (DeadFn Mango) GroceryProduce)	Economy.kif 3979-3979	subclass DeadFn Mango and GroceryProduce

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)

KB Term:			Term intersection

English Word: