TreeView Knowledge Base Browser

appearance as argument number 1

(documentation subclass ChineseLanguage "(subclass ?CLASS1 ?CLASS2) 的意思是 ?CLASS1 是 ?CLASS2 的subclass，也就是说， ?CLASS1 的每一个instance同时也是 ?CLASS2 的一个instance。一个Class可以具有多个超类别和子类别。")	Merge.kif 146-148
(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 143-145
(domain subclass 1 SetOrClass)	Merge.kif 141-141	The number 1 argument of subclass is an instance of set or class
(domain subclass 2 SetOrClass)	Merge.kif 142-142	The number 2 argument of subclass is an instance of set or class
(instance subclass BinaryPredicate)	Merge.kif 139-139	subclass is an instance of binary predicate
(instance subclass PartialOrderingRelation)	Merge.kif 140-140	subclass is an instance of partial ordering relation

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 192-192
(subrelation subset subclass)	Merge.kif 5488-5488	subset is a subrelation of subclass
(termFormat ChineseLanguage subclass "子类别")	chinese_format.kif 320-320	"子类别" is the printable form of subclass in ChineseLanguage
(termFormat EnglishLanguage subclass "subclass")	domainEnglishFormat.kif 9708-9708	"subclass" is the printable form of subclass in english language

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 1136-1148	If oversized is an attribute of an object and the object is an immediate instance of a set or class and the set or class is a subclass of hotel unit, then there exist another object, a physical quantity and another physical quantity such that the other object is an immediate instance of the set or class and the measure of the other object is the physical quantity and the measure of the object is the other physical quantity and the physical quantity is an instance of area measure and the other physical quantity is an instance of area measure and the other physical quantity is greater than the physical quantity
(=> (and (authors ?AGENT ?CLASS) (subclass ?CLASS MusicalComposition)) (composer ?AGENT ?CLASS))	Media.kif 1853-1857	If an agent is the author of a kind of musical composition and a kind of musical composition is a subclass of musical composition, then the agent composed the kind of musical composition
(=> (and (biochemicalAgentDelivery ?AGENT ?PROCESS) (subclass ?SUB ?PROCESS)) (biochemicalAgentDelivery ?AGENT ?SUB))	WMD.kif 783-787	If a kind of process is a biochemical agent delivery of a kind of biochemical agent and another kind of process is a subclass of a kind of process, then another kind of process is a biochemical agent delivery of a kind of biochemical agent
(=> (and (biologicalAgentCarrier ?AGENT ?ORGANISM) (subclass ?SUB ?ORGANISM)) (biologicalAgentCarrier ?AGENT ?SUB))	WMD.kif 922-926	If a kind of organism is a biological agent carrier of a kind of biological agent and another kind of organism is a subclass of a kind of organism, then another kind of organism is a biological agent carrier of a kind of biological agent
(=> (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	If an object is capable of doing a kind of process as a a case role and a kind of process is a subclass of shooting, then there exists another object such that the other object is an instance of weapon and the other object is a part of the object and the other object is capable of doing the kind of process as a the case role
(=> (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	If a symbolic string in ISO-4217-A denotes an UnitOfCurrency and another symbolic string in ISO-3166-1-alpha-2 denotes a geopolitical area and the geopolitical area is a subclass of geopolitical area and the other symbolic string is equal to the sub-string of the symbolic string from 0 to 2, then the UnitOfCurrency is a currency type of the geopolitical area
(=> (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 613-619	If the day a positive integer is a commemorates date of a holiday and an entity is an instance of the holiday and the holiday is a subclass of fixed holiday and an integer is less than or equal to another entity-YEAR, then the entity is an instance of the day the positive integer
(=> (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 477-493	If a cognitive agent is a customer of another cognitive agent and the cognitive agent has a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the cognitive agent allows the other cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the other cognitive agent is an agent of the other entity or the other cognitive agent experiences the other entity
(=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Process)) (modalAttribute (exists (?S ?LOC) (and (element ?LOC (PropertyFn ?AGENT)) (agent ?S ?HOTEL) (or (instance ?S ?PHYS) (and (instance ?PROC ?PHY) (subProcess ?S ?PROC))) (located ?S ?LOC))) Possibility))	Hotel.kif 495-510	If a cognitive agent is a customer of another cognitive agent and the cognitive agent has a kind of physical and a kind of physical is a subclass of process, then the statement there exist an entity and another entity such that the other entity is an element of belongings of the cognitive agent and a third entity is an agent of the entity and the entity is an instance of the kind of physical or a fourth entity is an instance of a fifth entity and the entity is a subprocess of the fourth entity and the entity is located at the other entity has the modal force of possibility
(=> (and (defaultMaximumMeasure ?OBJECT (MeasureFn ?Q ?UNIT1)) (subclass ?UNITCLASS NonCompositeUnitMeasure) (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 11141-11152	If the maximum expected value of a kind of object is a real number an unit of measure(s) and a set or class is a subclass of NonCompositeUnitMeasure and the unit of measure is an instance of the set or class, then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the set or class and the real numberUANTITY the third entity(s) is greater than the real number the unit of measure(s) has the modal force of 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 11112-11123	If the minimum expected value of a kind of object is a real number an unit of measure(s) and a set or class is a subclass of NonCompositeUnitOfMeasure and the unit of measure is an instance of the set or class, then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the set or class and the real numberUANTITY the third entity(s) is less than the real number the unit of measure(s) has the modal force of unlikely
(=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?PROCESS)) (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB))	WMD.kif 903-907	If a disease or syndrome disease treatment a kind of biologically active substance for a kind of process and another kind of process is a subclass of a kind of process, then the disease or syndrome disease treatment a kind of biologically active substance for another kind of process
(=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?SUBSTANCE)) (diseaseTreatment ?DISEASE ?SUB ?PROCESS))	WMD.kif 909-913	If a disease or syndrome disease treatment a kind of biologically active substance for a kind of process and another kind of biologically active substance is a subclass of a kind of biologically active substance, then the disease or syndrome disease treatment another kind of biologically active substance for a kind of 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	If a geopolitical area electricity consumption in period a physical quantity for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity consumption of the geopolitical area holds during the time position
(=> (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	If a geopolitical area electricity export in period a physical quantity for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity export of the geopolitical area holds during the time position
(=> (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	If a geopolitical area electricity import in period a physical quantity for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity import of the geopolitical area holds during the time position
(=> (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	If a geopolitical area electricity production in period a physical quantity for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity production of the geopolitical area holds during the time position
(=> (and (equal ?CLASS1 (ReceivingAnObjectFn ?OBJCLASS1)) (equal ?CLASS2 (ReceivingAnObjectFn ?OBJCLASS2)) (subclass ?OBJCLASS1 ?OBJCLASS2)) (subclass ?CLASS1 ?CLASS2))	Media.kif 195-200	If a kind of getting is equal to receiving a a kind of object and another kind of getting is equal to receiving a another kind of object and a kind of object is a subclass of another kind of object, then a kind of getting is a subclass of another kind of getting
(=> (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	If a geopolitical area export total in period a currency measure for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the currency measure is an annual export total of the geopolitical area holds during the time position
(=> (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 333-348	If use of a set or class is free for a kind of hotel unit and the set or class is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the set or class and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the process price 0 united states dollar(s) for the agent
(=> (and (freeRoomAmenity ?ROOM ?PROC) (subclass ?PROC Process) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (or (instance ?P ?PROC) (and (instance ?S ?PROC) (subProcess ?P ?S))) (located ?P ?R)) (price ?P (MeasureFn 0 UnitedStatesDollar) ?HOTEL))	Hotel.kif 350-363	If use of a set or class is free for a kind of hotel unit and the set or class is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and a process is an instance of the set or class or another process is an instance of the set or class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process price 0 united states dollar(s) for the 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 780-801	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of 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	If a human is a guest at a cognitive agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the cognitive agent and the temporary residence is an instance of the temporary residenceOOM and a kind of physical is an amenity in the temporary residenceOOM and a kind of physical is a subclass of object, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the temporary residence and the cognitive agent allows the human to perform task of the type there exists an entity such that the human is an agent of the entity and the other physical is an instrument for the entity or the other physical is a patient of the entity or the other physical is a resource for the entity
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS Book)) (holdsDuring ?T1 (attribute ?AGENT BookPublishers)))	Media.kif 1902-1906	If an entity publishes a set or class holds during a time position and the set or class is a subclass of book, then book publishers is an attribute of the entity holds during the time position
(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS MusicalComposition)) (holdsDuring ?T1 (attribute ?AGENT MusicPublishers)))	Media.kif 1890-1894	If an entity publishes a set or class holds during a time position and the set or class is a subclass of musical composition, then music publishers is an attribute of the entity holds during the time position

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 866-868	A set or class is an instance of class if and only if the set or class is a subclass of entity
(=> (and (domain ?REL ?NUMBER ?CLASS1) (domain ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 249-255	If the number a positive integer argument of a relation is an instance of a set or class and the number the positive integer argument of the relation is an instance of another set or class, then the set or class is a subclass of the other set or class or the other set or class is a subclass of the set or class
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 3203-3208	If the number a positive integer argument of a relation is a subclass of a set or class and the relation is an instance of predicate and the relation @ROW, then the positive integerth element of (@ROW) is a subclass of the set or class
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS1) (domainSubclass ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 275-281	If the number a positive integer argument of a relation is a subclass of a set or class and the number the positive integer argument of the relation is a subclass of another set or class, then the set or class is a subclass of the other set or class or the other set or class is a subclass of the set or class
(=> (and (equal ?CLASS1 (ReceivingAnObjectFn ?OBJCLASS1)) (equal ?CLASS2 (ReceivingAnObjectFn ?OBJCLASS2)) (subclass ?OBJCLASS1 ?OBJCLASS2)) (subclass ?CLASS1 ?CLASS2))	Media.kif 195-200	If a kind of getting is equal to receiving a a kind of object and another kind of getting is equal to receiving a another kind of object and a kind of object is a subclass of another kind of object, then a kind of getting is a subclass of another kind of getting
(=> (and (instance ?PUB Publication) (patient ?PUB ?TEXT)) (subclass ?TEXT Text))	Merge.kif 12776-12780	If a process is an instance of publication and a set or class is a patient of the process, then the set or class is a subclass of text
(=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea))	Mid-level-ontology.kif 14460-14464	If a relation is an instance of economic relation and the number 1 argument of the relation is an instance of a set or class, then the set or class is a subclass of geopolitical area
(=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer))	Merge.kif 3482-3486	If a function is an instance of sequence function and the range of the function is an instance of a set or class, then the set or class is a subclass of 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 28190-28219	If a process is an instance of BreakingRecord and an agent is an agent of the process, then there exist a set or class, another set or class,, , another process,, , a time point,, , a case role,, , a third set or class and an entity such that the set or class is an instance of set and the agent is an instance of the set or class and the other set or class is a subclass of process and the third set or class is a subclass of region and the time point is an instance of time point and the entity is an instance of quantity and the process includes a reference to the entity and the entity includes a reference to the other set or class and the agent plays role in event the case role for the other process and the other process is located at 2 and there don't exist another entity and a third entity such that the other entity is an instance of the set or class and the other entity is not equal to the agent and the third entity is an instance of the other set or class and the other entity plays role in event the case role for the third entity and the third entity is located at 2 holds during interval between the time point and the end of the time of existence of the process
(=> (and (range ?REL ?CLASS1) (range ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 360-366	If the range of a function is an instance of a set or class and the range of the function is an instance of another set or class, then the set or class is a subclass of the other set or class or the other set or class is a subclass of the set or class
(=> (and (rangeSubclass ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (subclass ?VALUE ?CLASS))	Merge.kif 377-381	If the values returned by a function are subclasses of a kind of set or class and the function(@ROW) is equal to another set or class, then the other set or class is a subclass of a kind of set or class
(=> (and (rangeSubclass ?REL ?CLASS1) (rangeSubclass ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 389-395	If the values returned by a function are subclasses of a kind of set or class and the values returned by the function are subclasses of another kind of set or class, then a kind of set or class is a subclass of another kind of set or class or the other kind of set or class is a subclass of the kind of set or 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 18715-18722	If medical doctor is an attribute of an object, then there exist a kind of process and another kind of process such that a kind of process is a subclass of diagnostic process and another kind of process is a subclass of therapeutic process and the object is capable of doing the kind of process as a agent and the object is capable of doing the other kind of process as a agent
(=> (classIntersection ?CLASS1 ?CLASS2 ?INTERSECT) (and (subclass ?INTERSECT ?CLASS1) (subclass ?INTERSECT ?CLASS2)))	ComputerInput.kif 73-77	If the intersection of a set or class and another set or class is a third set or class, then the third set or class is a subclass of the set or class and the third set or class is a subclass of the other set or class
(=> (codeMapping ISO-639-1 ?TOKEN ?X) (or (instance ?X HumanLanguage) (subclass ?X HumanLanguage)))	Languages.kif 14683-14687	If a symbolic string in ISO-639-1 denotes a set or class, then the set or class is an instance of human language or the set or class is a subclass of human language
(=> (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS) (subclass ?PROCESS Ingesting))	WMD.kif 1189-1191	If a disease or syndrome disease treatment oral antibiotic for a kind of process, then a kind of process is a subclass of ingesting
(=> (diseaseTreatment ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering))	WMD.kif 1216-1218	If a disease or syndrome disease treatment topical antibiotic for a kind of process, then a kind of process is a subclass of covering
(=> (disjointDecomposition ?CLASS @ROW) (forall (?ITEM) (=> (inList ?ITEM (ListFn @ROW)) (subclass ?ITEM ?CLASS))))	Merge.kif 3146-3151	If a class is disjointly decomposed into @ROW, then for all a set or class if the set or class is a member of (@ROW), then the set or class is a subclass of the class
(=> (equal ?CLASS (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?CLASS ?TYPE))	Geography.kif 6243-6245	If a kind of geographic area is equal to all the instances of another kind of geographic area in a third geographic area, then a kind of geographic area is a subclass of another kind of geographic area
(=> (equal ?X (AttrFn ?CLASS ?ATTR)) (forall (?I) (=> (instance ?I ?X) (and (instance ?I ?CLASS) (subclass ?X ?CLASS) (property ?I ?ATTR)))))	Merge.kif 1836-1845	If a class is equal to the attr of a set or class and an attribute, then for all an entity if the entity is an instance of the class, then the entity is an instance of the set or class and the class is a subclass of the set or class and the entity has an attribute the attribute
(=> (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (subclass ?PRODUCTTYPE Collection))	Media.kif 3139-3141	If a symbolic string is the title in a language for instances of a set or class, then the set or class is a subclass of collection
(=> (habitatOfOrganism ?O ?L) (not (subclass ?O DomesticAnimal)))	Mid-level-ontology.kif 28533-28536	If a kind of organism inhabits a geographic area, then a kind of organism is not a subclass of domestic animal
(=> (immediateInstance ?ENTITY ?CLASS) (not (exists (?SUBCLASS) (and (subclass ?SUBCLASS ?CLASS) (not (equal ?SUBCLASS ?CLASS)) (instance ?ENTITY ?SUBCLASS)))))	Merge.kif 104-110	If an entity is an immediate instance of a set or class, then there doesn't exist another set or class such that the other set or class is a subclass of the set or class and the other set or class is not equal to the set or class and the entity is an instance of the other set or class
(=> (immediateSubclass ?CLASS1 ?CLASS2) (not (exists (?CLASS3) (and (subclass ?CLASS3 ?CLASS2) (subclass ?CLASS1 ?CLASS3) (not (equal ?CLASS2 ?CLASS3)) (not (equal ?CLASS1 ?CLASS3))))))	Merge.kif 176-183	If a set or class is an immediate subclass of another set or class, then there doesn't exist a third set or class such that the third set or class is a subclass of the other set or class and the set or class is a subclass of the third set or class and the other set or class is not equal to the third set or class and the set or class is not equal to the third set or class
(=> (instance ?AREA ColdClimateZone) (exists (?MO ?AMOUNT) (and (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT) (lessThan ?AMOUNT (MeasureFn -3 CelsiusDegree)))))	Geography.kif 1481-1487	If a geographic area is an instance of cold climate zone, then there exist a time duration and a temperature measure such that the time duration is a subclass of month and the geographic area average temperature for period the time duration for the temperature measure and the temperature measure is less than -3 celsius degree(s)

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 5080-5083

There exists an agent such that the agent is a subclass of tool box and the maker of Sortimo Corporation is the agent

appearance as argument number 0

(subclass (AgentOfOrganismFn CoccidiodesPosadasii) LifeThreateningAgent)	WMD.kif 1283-1283	The biological agent of coccidiodes posadasii is a subclass of life threatening agent
(subclass (AgentOfOrganismFn CoccidioidesImmitis) LifeThreateningAgent)	WMD.kif 1276-1276	The biological agent of coccidioides immitis is a subclass of life threatening agent
(subclass (AgentOfOrganismFn MalarialPlasmodium) BiologicalAgent)	WMD.kif 1462-1462	The biological agent of malarial plasmodium is a subclass of biological agent
(subclass (AgentOfOrganismFn SerratiaMarcenscens) LifeThreateningAgent)	WMD.kif 1271-1271	The biological agent of serratia marcenscens is a subclass of life threatening agent
(subclass (AgentOfOrganismFn TickBorneEncephalitisVirus) LifeThreateningAgent)	WMD.kif 1823-1823	The biological agent of tick borne encephalitis virus is a subclass of life threatening agent
(subclass (AgentOfOrganismFn YersiniaPestis) LifeThreateningAgent)	WMD.kif 400-400	The biological agent of yersinia pestis is a subclass of life threatening agent
(subclass (DeadFn Apple) GroceryProduce)	Economy.kif 3938-3938	A dead apple is a subclass of grocery produce
(subclass (DeadFn Avocado) GroceryProduce)	Economy.kif 3964-3964	A dead avocado is a subclass of grocery produce
(subclass (DeadFn Banana) GroceryProduce)	Economy.kif 3967-3967	A dead banana is a subclass of grocery produce
(subclass (DeadFn Berry) GroceryProduce)	Economy.kif 3935-3935	A dead berry is a subclass of grocery produce
(subclass (DeadFn Breadfruit) GroceryProduce)	Economy.kif 3970-3970	A dead breadfruit is a subclass of grocery produce
(subclass (DeadFn Cabbage) GroceryProduce)	Economy.kif 3843-3843	A dead cabbage is a subclass of grocery produce
(subclass (DeadFn Carrot) GroceryProduce)	Economy.kif 3876-3876	A dead carrot is a subclass of grocery produce
(subclass (DeadFn Cassava) GroceryProduce)	Economy.kif 3896-3896	A dead cassava is a subclass of grocery produce
(subclass (DeadFn Cauliflower) GroceryProduce)	Economy.kif 3846-3846	A dead cauliflower is a subclass of grocery produce
(subclass (DeadFn CitrusFruit) GroceryProduce)	Economy.kif 3944-3944	A dead citrus fruit is a subclass of grocery produce
(subclass (DeadFn Coconut) GroceryProduce)	Economy.kif 3973-3973	A dead coconut is a subclass of grocery produce
(subclass (DeadFn Cucumber) GroceryProduce)	Economy.kif 3840-3840	A dead cucumber is a subclass of grocery produce
(subclass (DeadFn DateFruit) GroceryProduce)	Economy.kif 3976-3976	A dead date fruit is a subclass of grocery produce
(subclass (DeadFn EdibleNut) GroceryProduce)	Economy.kif 4019-4019	A dead edible nut is a subclass of grocery produce
(subclass (DeadFn Eggplant) GroceryProduce)	Economy.kif 3849-3849	A dead eggplant is a subclass of grocery produce
(subclass (DeadFn Grape) GroceryProduce)	Economy.kif 3927-3927	A dead grape is a subclass of grocery produce
(subclass (DeadFn Groundnut) GroceryProduce)	Economy.kif 4033-4033	A dead groundnut is a subclass of grocery produce
(subclass (DeadFn LeafyGreenVegetable) GroceryProduce)	Economy.kif 3837-3837	A dead leafy green vegetable is a subclass of grocery produce
(subclass (DeadFn Mango) GroceryProduce)	Economy.kif 3979-3979	A dead mango is a subclass of grocery produce

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: