subclass - Sigma 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 5120-5120	subrelation subset and subclass
(termFormat ChineseLanguage subclass "子类")	domainEnglishFormat.kif 55694-55694
(termFormat ChineseLanguage subclass "子类别")	chinese_format.kif 320-320
(termFormat ChineseTraditionalLanguage subclass "子類")	domainEnglishFormat.kif 55693-55693
(termFormat EnglishLanguage subclass "subclass")	domainEnglishFormat.kif 55692-55692

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 1141-1153	attribute an Object and Oversized immediateInstance Object and a SetOrClass subclass SetOrClass and HotelUnit a Physical a PhysicalQuantity and PhysicalQuantity immediateInstance Physical and SetOrClass measure Physical 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 an Agent and a MusicalComposition subclass a MusicalComposition and MusicalComposition composer Agent and MusicalComposition
(=> (and (biochemicalAgentDelivery ?AGENT ?PROCESS) (subclass ?SUB ?PROCESS)) (biochemicalAgentDelivery ?AGENT ?SUB))	WMD.kif 784-788	biochemicalAgentDelivery a BiochemicalAgent and a Process subclass Process and a Process biochemicalAgentDelivery a BiochemicalAgent and Process
(=> (and (biologicalAgentCarrier ?AGENT ?ORGANISM) (subclass ?SUB ?ORGANISM)) (biologicalAgentCarrier ?AGENT ?SUB))	WMD.kif 931-935	biologicalAgentCarrier a BiologicalAgent and a Organism subclass Organism and a Organism biologicalAgentCarrier a 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 a Process, a CaseRole and an Object subclass a 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, a SymbolicString and an UnitOfCurrency codeMapping ISO-3166-1-alpha-2, SymbolicString and a 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 a Holiday and DayFn a PositiveInteger and MonthFn a Month and YearFn an Integer instance an Entity and Holiday subclass Holiday and FixedHoliday lessThanOrEqualTo Integer and entity-YEAR instance Entity and DayFn PositiveInteger and MonthFn a 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 a CognitiveAgent and CognitiveAgent propertyAmenity CognitiveAgent and a Physical subclass a Physical and Object instance an 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 a CognitiveAgent and CognitiveAgent propertyAmenity CognitiveAgent and a Physical subclass a Physical and Process modalAttribute an entity entity element entity and PropertyFn CognitiveAgent agent entity and CognitiveAgent patient entity and CognitiveAgent instance entity and Physical instance a entity and a 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 11174-11185	defaultMaximumMeasure a Object and MeasureFn a RealNumber and an UnitOfMeasure subclass a SetOrClass and NonCompositeUnitOfMeasure instance UnitOfMeasure and SetOrClass modalAttribute an entity RealNumberUANTITY and a entity instance entity and a 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 11145-11156	defaultMinimumMeasure a Object and MeasureFn a RealNumber and an UnitOfMeasure subclass a SetOrClass and NonCompositeUnitOfMeasure instance UnitOfMeasure and SetOrClass modalAttribute an entity RealNumberUANTITY and a entity instance entity and a 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 a DiseaseOrSyndrome, a BiologicallyActiveSubstance and a Process subclass Process and a Process diseaseTreatment DiseaseOrSyndrome, a BiologicallyActiveSubstance and Process
(=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?SUBSTANCE)) (diseaseTreatment ?DISEASE ?SUB ?PROCESS))	WMD.kif 918-922	diseaseTreatment a DiseaseOrSyndrome, a BiologicallyActiveSubstance and a Process subclass BiologicallyActiveSubstance and a BiologicallyActiveSubstance diseaseTreatment DiseaseOrSyndrome, BiologicallyActiveSubstance and a 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 a GeopoliticalArea, a PhysicalQuantity and a TimeInterval subclass a TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea a 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 a GeopoliticalArea, a PhysicalQuantity and a TimeInterval subclass a TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea a 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 a GeopoliticalArea, a PhysicalQuantity and a TimeInterval subclass a TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea a 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 a GeopoliticalArea, a PhysicalQuantity and a TimeInterval subclass a TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea a 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 a Getting and ReceivingAnObjectFn a Object equal Getting and ReceivingAnObjectFn Object subclass a Object and Object subclass a Getting and Getting
(=> (and (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (subclass ?PHYS Process)) (inhibits ?DEP ?PHYS))	Mid-level-ontology.kif 16094-16098
(=> (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 16100-16109
(=> (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 a GeopoliticalArea, a CurrencyMeasure and a TimeInterval subclass a TimeInterval and Year subclass TimeInterval and FiscalYearFn GeopoliticalArea a 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 a HotelUnit and a SetOrClass subclass SetOrClass and Object instance a TemporaryResidence and a HotelUnit stays a Human and TemporaryResidence element TemporaryResidence and PropertyFn an Agent instance an Object and SetOrClass located Object and TemporaryResidence instance a 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 a HotelUnit and a SetOrClass subclass SetOrClass and Process instance a TemporaryResidence and a HotelUnit stays a Human and TemporaryResidence element TemporaryResidence and PropertyFn an Agent patient a 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 a HotelFunctionRoom and a Physical instance an Entity and a HotelFunctionRoom element Entity and PropertyFn an Agent instance a Process and Renting patient Process and Entity agent Process and Agent destination Process and Entity subclass a Physical and Object modalAttribute a entity a 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 a Human and a CognitiveAgent stays Human and a TemporaryResidence element TemporaryResidence and PropertyFn CognitiveAgent instance TemporaryResidence and TemporaryResidenceOOM roomAmenity TemporaryResidenceOOM and a Physical subclass a Physical and Object Physical instance Physical and Physical located Physical and TemporaryResidence confersRight an 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 794-796	instance a 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 220-226	domain a Relation, a PositiveInteger and a 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 2899-2904	domainSubclass a Relation, a PositiveInteger and a 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 243-249	domainSubclass a Relation, a PositiveInteger and a 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 a Getting and ReceivingAnObjectFn a Object equal Getting and ReceivingAnObjectFn Object subclass a Object and Object subclass a Getting and Getting
(=> (and (instance ?MENU AlcoholMenu) (catalogItem ?X ?MENU)) (subclass ?X AlcoholicBeverage))	Dining.kif 215-219	instance a Catalog and AlcoholMenu catalogItem a Entity and Catalog subclass a Entity and AlcoholicBeverage
(=> (and (instance ?MENU BeverageMenu) (catalogItem ?X ?MENU)) (subclass ?X Beverage))	Dining.kif 204-208	instance a Catalog and BeverageMenu catalogItem a Entity and Catalog subclass a Entity and Beverage
(=> (and (instance ?MENU Menu) (catalogItem ?X ?MENU)) (subclass ?X (FoodForFn Human)))	Dining.kif 178-182	instance a Catalog and Menu catalogItem a Entity and Catalog subclass a Entity and FoodForFn Human
(=> (and (instance ?MENU WineMenu) (catalogItem ?X ?MENU)) (subclass ?X WineMenu))	Dining.kif 225-229	instance a Catalog and WineMenu catalogItem a Entity and Catalog subclass a Entity and WineMenu
(=> (and (instance ?PUB Publication) (patient ?PUB ?TEXT)) (subclass ?TEXT Text))	Merge.kif 11941-11945	instance a Process and Publication patient Process and a SetOrClass subclass SetOrClass and Text
(=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea))	Mid-level-ontology.kif 14488-14492	instance a Relation and EconomicRelation domain Relation, 1 and a SetOrClass subclass SetOrClass and GeopoliticalArea
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer))	Merge.kif 3280-3284	instance a Function and SequenceFunction range Function and a 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 28228-28257	instance a Process and BreakingRecord agent Process and an Agent a SetOrClass SetOrClass, Process, a TimePoint, a CaseRole, a SetOrClass and an 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 a 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 323-329	range a Function and a 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 338-342	rangeSubclass a Function and a SetOrClass equal AssignmentFn Function and @ROW and SetOrClass subclass SetOrClass and a SetOrClass
(=> (and (rangeSubclass ?REL ?CLASS1) (rangeSubclass ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 350-356	rangeSubclass a Function and a SetOrClass rangeSubclass Function and SetOrClass subclass a 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 18748-18755	attribute an Object and MedicalDoctor a Process Process subclass a 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 a SetOrClass, SetOrClass and a 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, a SymbolicString and a SetOrClass instance SetOrClass and HumanLanguage subclass SetOrClass and HumanLanguage
(=> (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS) (subclass ?PROCESS Ingesting))	WMD.kif 1206-1208	diseaseTreatment a DiseaseOrSyndrome, OralAntibiotic and a Process subclass a Process and Ingesting
(=> (diseaseTreatment ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering))	WMD.kif 1233-1235	diseaseTreatment a DiseaseOrSyndrome, TopicalAntibiotic and a Process subclass a Process and Covering
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM) (=> (inList ?ITEM (ListFn @ROW)) (subclass ?ITEM ?CLASS))))	Merge.kif 2844-2849	disjointDecomposition a Class and @ROW a SetOrClass inList SetOrClass and ListFn @ROW subclass SetOrClass and Class
(=> (equal ?CLASS (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?CLASS ?TYPE))	Geography.kif 6352-6354	equal a GeographicArea and GeographicPartTypeFn GeographicArea and a GeographicArea subclass a 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 1689-1698	equal a Class and AttrFn a SetOrClass and an Attribute an 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 3173-3175	groupingTitle a SymbolicString, a SetOrClass and a 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

An 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: