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 132-134
(domain subclass 1 SetOrClass)	Merge.kif 130-130	domain subclass, 1 and SetOrClass
(domain subclass 2 SetOrClass)	Merge.kif 131-131	domain subclass, 2 and SetOrClass
(instance subclass BinaryPredicate)	Merge.kif 128-128	instance subclass and BinaryPredicate
(instance subclass PartialOrderingRelation)	Merge.kif 129-129	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 327-327
(subrelation subset subclass)	Merge.kif 5107-5107	subrelation subset and subclass
(termFormat ChineseLanguage subclass "子类")	domainEnglishFormat.kif 55618-55618
(termFormat ChineseLanguage subclass "子类别")	chinese_format.kif 320-320
(termFormat ChineseTraditionalLanguage subclass "子類")	domainEnglishFormat.kif 55617-55617
(termFormat EnglishLanguage subclass "subclass")	domainEnglishFormat.kif 55616-55616

antecedent

(=> (and (attribute ?ROOM Oversized) (immediateInstance ?ROOM ?HOTELUNIT) (subclass ?HOTELUNIT HotelUnit)) (exists (?NORMAL ?AREA1 ?AREA2) (and (immediateInstance ?NORMAL ?HOTELUNIT) (measure ?NORMAL ?AREA1) (measure ?ROOM ?AREA2) (instance ?AREA1 AreaMeasure) (instance ?AREA2 AreaMeasure) (greaterThan ?AREA2 ?AREA1))))	Hotel.kif 1140-1152	attribute Object and Oversized immediateInstance Object and SetOrClass subclass SetOrClass and HotelUnit Object PhysicalQuantity and PhysicalQuantity immediateInstance Object and SetOrClass measure Object and PhysicalQuantity measure Object and PhysicalQuantity instance PhysicalQuantity and AreaMeasure instance PhysicalQuantity and AreaMeasure greaterThan PhysicalQuantity and PhysicalQuantity
(=> (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 931-935	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 2859-2865	codeMapping ISO-4217-A, SymbolicString and UnitOfCurrency codeMapping ISO-3166-1-alpha-2, SymbolicString and GeopoliticalArea subclass GeopoliticalArea and GeopoliticalArea equal SymbolicString and SubstringFn SymbolicString, 0 and 2 currencyType GeopoliticalArea 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 480-496	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 498-514	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 11172-11183	defaultMaximumMeasure Object and MeasureFn RealNumber and UnitOfMeasure subclass SetOrClass and NonCompositeUnitOfMeasure instance UnitOfMeasure and SetOrClass modalAttribute entity RealNumberUANTITY and entity instance entity and Object measure entity and MeasureFn RealNumberUANTITY and entity instance entity and SetOrClass 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 (MeasureFn ?QUANTITY ?UNIT2) (MeasureFn ?Q ?UNIT1)))) Unlikely))	Mid-level-ontology.kif 11143-11154	defaultMinimumMeasure Object and MeasureFn RealNumber and UnitOfMeasure subclass SetOrClass and NonCompositeUnitOfMeasure instance UnitOfMeasure and SetOrClass modalAttribute entity RealNumberUANTITY and entity instance entity and Object measure entity and MeasureFn RealNumberUANTITY and entity instance entity and SetOrClass lessThan MeasureFn RealNumberUANTITY and entity and MeasureFn RealNumber and UnitOfMeasure and Unlikely
(=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?PROCESS)) (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB))	WMD.kif 912-916	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 918-922	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 16089-16093	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 16095-16104	equal and DepartmentOfPreventingFn Organization and SetOrClass subclass SetOrClass and Process desires Organization and entity instance entity and SetOrClass 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 SetOrClass subclass SetOrClass and Object instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent instance Object and SetOrClass 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 SetOrClass subclass SetOrClass and Process instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent patient Process and Human instance Process and SetOrClass instance Process and SetOrClass 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 784-805	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

(<=> (instance ?CLASS Class) (subclass ?CLASS Entity))	Merge.kif 793-795	instance SetOrClass and Class subclass SetOrClass and Entity
(=> (and (domain ?REL ?NUMBER ?CLASS1) (domain ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 219-225	domain Relation, PositiveInteger and SetOrClass domain Relation, PositiveInteger and SetOrClass subclass SetOrClass and SetOrClass subclass SetOrClass and SetOrClass
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 2894-2899	domainSubclass Relation, PositiveInteger and SetOrClass instance Relation and Predicate Relation @ROW subclass ListOrderFn ListFn @ROW and PositiveInteger and SetOrClass
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS1) (domainSubclass ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 242-248	domainSubclass Relation, PositiveInteger and SetOrClass domainSubclass Relation, PositiveInteger and SetOrClass subclass SetOrClass and SetOrClass subclass SetOrClass and SetOrClass
(=> (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 11909-11913	instance Process and Publication patient Process and SetOrClass subclass SetOrClass and Text
(=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea))	Mid-level-ontology.kif 14486-14490	instance Relation and EconomicRelation domain Relation, 1 and SetOrClass subclass SetOrClass and GeopoliticalArea
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer))	Merge.kif 3269-3273	instance Function and SequenceFunction range Function and SetOrClass subclass SetOrClass 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) (refers ?X ?Q) (refers ?Q ?PC) (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 28220-28249	instance Process and BreakingRecord agent Process and Agent SetOrClass SetOrClass, Process, TimePoint, CaseRole, SetOrClass and Entity instance SetOrClass and Set instance Agent and SetOrClass subclass SetOrClass and Process subclass SetOrClass and Region instance TimePoint and TimePoint instance Entity and Quantity refers Process and Entity refers Entity and SetOrClass playsRoleInEvent Agent, CaseRole and Process eventLocated Process and SetOrClass Entity Entity instance Entity and SetOrClass equal Entity and Agent instance Entity and SetOrClass holdsDuring TimeIntervalFn TimePoint and EndFn WhenFn Process and playsRoleInEvent Entity, CaseRole and Entity eventLocated Entity and SetOrClass
(=> (and (range ?REL ?CLASS1) (range ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 322-328	range Function and SetOrClass range Function and SetOrClass subclass SetOrClass and SetOrClass subclass SetOrClass and SetOrClass
(=> (and (rangeSubclass ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (subclass ?VALUE ?CLASS))	Merge.kif 337-341	rangeSubclass Function and SetOrClass equal AssignmentFn Function and @ROW and SetOrClass subclass SetOrClass and SetOrClass
(=> (and (rangeSubclass ?REL ?CLASS1) (rangeSubclass ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 349-355	rangeSubclass Function and SetOrClass rangeSubclass Function and SetOrClass subclass SetOrClass and SetOrClass subclass SetOrClass and SetOrClass
(=> (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 18742-18749	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 SetOrClass, SetOrClass and SetOrClass subclass SetOrClass and SetOrClass subclass SetOrClass and SetOrClass
(=> (codeMapping ISO-639-1 ?TOKEN ?X) (or (instance ?X HumanLanguage) (subclass ?X HumanLanguage)))	Languages.kif 14683-14687	codeMapping ISO-639-1, SymbolicString and SetOrClass instance SetOrClass and HumanLanguage subclass SetOrClass and HumanLanguage
(=> (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS) (subclass ?PROCESS Ingesting))	WMD.kif 1206-1208	diseaseTreatment DiseaseOrSyndrome, OralAntibiotic and Process subclass Process and Ingesting
(=> (diseaseTreatment ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering))	WMD.kif 1233-1235	diseaseTreatment DiseaseOrSyndrome, TopicalAntibiotic and Process subclass Process and Covering
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM) (=> (inList ?ITEM (ListFn @ROW)) (subclass ?ITEM ?CLASS))))	Merge.kif 2839-2844	disjointDecomposition Class and @ROW SetOrClass inList SetOrClass and ListFn @ROW subclass SetOrClass and Class
(=> (equal ?CLASS (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?CLASS ?TYPE))	Geography.kif 6259-6261	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 1684-1693	equal Class and AttrFn SetOrClass and Attribute Entity instance Entity and Class instance Entity and SetOrClass subclass Class and SetOrClass property Entity and Attribute
(=> (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (subclass ?PRODUCTTYPE Collection))	Media.kif 3171-3173	groupingTitle SymbolicString, SetOrClass and Language subclass SetOrClass 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 5090-5093

Agent subclass Agent and HandToolBox manufacturer SortimoCorp and Agent

appearance as argument number 0

(subclass (AgentOfOrganismFn CoccidiodesPosadasii) LifeThreateningAgent)	WMD.kif 1300-1300	subclass AgentOfOrganismFn CoccidiodesPosadasii and LifeThreateningAgent
(subclass (AgentOfOrganismFn CoccidioidesImmitis) LifeThreateningAgent)	WMD.kif 1293-1293	subclass AgentOfOrganismFn CoccidioidesImmitis and LifeThreateningAgent
(subclass (AgentOfOrganismFn MalarialPlasmodium) BiologicalAgent)	WMD.kif 1479-1479	subclass AgentOfOrganismFn MalarialPlasmodium and BiologicalAgent
(subclass (AgentOfOrganismFn SerratiaMarcenscens) LifeThreateningAgent)	WMD.kif 1288-1288	subclass AgentOfOrganismFn SerratiaMarcenscens and LifeThreateningAgent
(subclass (AgentOfOrganismFn TickBorneEncephalitisVirus) LifeThreateningAgent)	WMD.kif 1840-1840	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: