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 133-135
(documentation subclass JapaneseLanguage "(subclass ?CLASS1 ?CLASS2) とは、?CLASS1 が?CLASS2の subclass である、という意味である。例えば、?CLASS1のすべての instance も?CLASS2 の instance である。")	japanese_format.kif 27-29
(documentation subclass SpanishLanguage "(subclass ?CLASS1 ?CLASS2) quiere decir que ?CLASS1 es una subclass de ?CLASS2, por ejemplo, cada instance de ?CLASS1 es también una instance de ?CLASS2. Una Class puede tener varias superclases y subclases.")	spanish_format.kif 28-30
(domain subclass 1 Class)	Merge.kif 131-131	The number 1 argument of subclass is an instance of class
(domain subclass 2 Class)	Merge.kif 132-132	The number 2 argument of subclass is an instance of class
(instance subclass BinaryPredicate)	Merge.kif 129-129	subclass is an instance of binary predicate
(instance subclass ClosedWorldPredicate)	Merge.kif 18660-18660	subclass is an instance of closed world predicate
(instance subclass PartialOrderingRelation)	Merge.kif 130-130	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 324-324
(format FrenchLanguage subclass "%1 est %n une sous-classe de %2")	french_format.kif 182-182
(format ItalianLanguage subclass "%1 è %n una sottoclasse di %2")	relations-it.txt 271-271
(format JapaneseLanguage subclass "%1 は %2 の subclass では %n")	japanese_format.kif 2002-2002
(format PortugueseLanguage subclass "%1 e' %n uma sub-classe de %2")	portuguese_format.kif 134-134
(format cz subclass "%1 %p{je} %n{nen�} podt��dou %2")	relations-cz.txt 175-175
(format de subclass "%1 ist eine teilkategorie von %2")	relations-de.txt 419-419
(format hi subclass "%1 %2 kaa upavarga %n hai")	relations-hindi.txt 308-308
(format ro subclass "%1 %n{nu} este o subclass%t{subclasã} a lui %2")	relations-ro.kif 202-202
(format sv subclass "%1 är %n{inte} en subclass till %2")	relations-sv.txt 192-192
(format tg subclass "%1 %n ay ang klase mas tiyak sa %2")	relations-tg.txt 463-463
(subrelation subField subclass)	Mid-level-ontology.kif 22956-22956	sub field is a subrelation of subclass
(termFormat ChineseLanguage subclass "子类")	domainEnglishFormat.kif 55708-55708	sub field is a subrelation of subclass
(termFormat ChineseLanguage subclass "子类别")	chinese_format.kif 320-320	sub field is a subrelation of subclass
(termFormat ChineseTraditionalLanguage subclass "子類")	domainEnglishFormat.kif 55707-55707	sub field is a subrelation of subclass
(termFormat EnglishLanguage subclass "subclass")	domainEnglishFormat.kif 55706-55706	sub field is a subrelation of subclass
(termFormat de subclass "teilkategorie")	terms-de.txt 133-133	sub field is a subrelation of subclass

antecedent

(=> (and (attribute ?H1 ADHD) (not (attribute ?H2 ADHD)) (not (equal ?H1 ?H2)) (instance ?I1 ?IC) (instance ?I2 ?IC) (subclass ?IC IntentionalPsychologicalProcess) (agent ?I1 ?H1) (agent ?I2 ?H2) (duration (WhenFn ?I1) ?D1) (duration (WhenFn ?I2) ?D2)) (modalAttribute (greaterThan ?D2 ?D1) Likely))	Medicine.kif 3987-4007	If attention deficit hyperactivity disorder is an attribute of an agent and attention deficit hyperactivity disorder is not an attribute of another agent and equal the agent and the other agent and a process is an instance of a class and another process is an instance of the class and the class is a subclass of intentional psychological process and the agent is an agent of the process and the other agent is an agent of the other process and duration of the time of existence of the process is a time duration and duration of the time of existence of the other process is another time duration, then the statement the other time duration is greater than the time duration has the modal force of likely
(=> (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 1194-1209	If oversized is an attribute of an object and the object is an immediate instance of a class and the class is a subclass of hotel unit, then there exist a physical, a real number,, , another real number and an unit of measure such that the physical is an immediate instance of the class and the unit of measure is an instance of unit of area and the measure of the physical is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the real number is an instance of area measure and the other real number is an instance of area measure and the other real number is greater than the real number
(=> (and (attribute ?X Writer) (instance ?TEXT ?CLASS) (or (subclass ?CLASS Text) (subclass ?CLASS Document)) (instance ?WRITE Writing) (agent ?WRITE ?X) (result ?WRITE ?TEXT)) (authors ?X ?CLASS))	Biography.kif 738-748	If writer is an attribute of an agent and an entity is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of text or the kind of content bearing object is a subclass of document and a process is an instance of writing and the agent is an agent of the process and the entity is a result of the process, then the agent is the author of the kind of content bearing object
(=> (and (biochemicalAgentDelivery ?AGENT ?PROCESS) (subclass ?SUB ?PROCESS)) (biochemicalAgentDelivery ?AGENT ?SUB))	WMD.kif 789-793	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 976-980	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 (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 583-589	If the day a positive integer of month the month a kind of month is a commemorates date of a kind of holiday and an entity is an instance of a kind of holiday and the kind of 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 of month the month a kind of month
(=> (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 504-520	If an agent is a customer of a cognitive agent and the 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 agent allows the 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 cognitive agent is an agent of the other entity or the cognitive agent experiences the other entity
(=> (and (customer ?CUST ?AGENT) (propertyAmenity ?AGENT ?PHYS) (subclass ?PHYS Process)) (modalAttribute (exists (?S ?LOC ?PROC) (and (element ?LOC (PropertyFn ?AGENT)) (agent ?S ?AGENT) (patient ?S ?CUST) (or (instance ?S ?PHYS) (and (instance ?PROC ?PHYS) (subProcess ?S ?PROC))) (located ?S ?LOC))) Possibility))	Hotel.kif 522-538	If an agent is a customer of a cognitive agent and the agent has a kind of physical and a kind of physical is a subclass of process, then the statement there exist an entity, another entity and a third entity such that the other entity is an element of belongings of the agent and the agent is an agent of the entity and the cognitive agent is a patient of the entity and the entity is an instance of the kind of physical or the third entity is an instance of the kind of physical and the entity is a subprocess of the third entity and the entity is located at the other entity has the modal force of 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 14886-14897	If the maximum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of non composite unit of measure and the unit of measure is an instance of the 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 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 ?QUANTITY ?Q))) Unlikely))	Mid-level-ontology.kif 14855-14866	If the minimum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of non composite unit of measure and the unit of measure is an instance of the 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 class and the real numberUANTITY is less than the real number has the modal force of unlikely
(=> (and (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?PROCESS)) (diseaseMedicine ?DISEASE ?SUBSTANCE ?SUB))	WMD.kif 957-961	If a disease or syndrome is 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 is disease treatment a kind of biologically active substance for another kind of process
(=> (and (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?SUBSTANCE)) (diseaseMedicine ?DISEASE ?SUB ?PROCESS))	WMD.kif 963-967	If a disease or syndrome is 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 is 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 2352-2361	If a geopolitical area is 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 2396-2405	If a geopolitical area is 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 2442-2451	If a geopolitical area is 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 2220-2229	If a geopolitical area is 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 ?AF (OrganicObjectFn ?F)) (subclass ?AF AnimalFat) (subclass ?F FatTissue)) (initialPart ?F Animal))	Food.kif 2883-2889	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of animal fat and another kind of object is a subclass of fat tissue, then every the other kind of object is initially part of a animal
(=> (and (equal ?B (OrganicObjectFn ?P)) (subclass ?B CoffeeBean) (subclass ?P Seed)) (initialPart ?P CoffeePlant))	Economy.kif 4967-4972	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of coffee bean and another kind of object is a subclass of seed, then every the other kind of object is initially part of a coffee plant
(=> (and (equal ?C (OrganicObjectFn ?S)) (subclass ?C CocoaBean) (subclass ?S Seed)) (initialPart ?S CocoaTree))	Economy.kif 5031-5037	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of cocoa bean and another kind of object is a subclass of seed, then every the other kind of object is initially part of a cocoa tree
(=> (and (equal ?CLASS1 (ReceivingAnObjectFn ?OBJCLASS1)) (equal ?CLASS2 (ReceivingAnObjectFn ?OBJCLASS2)) (subclass ?OBJCLASS1 ?OBJCLASS2)) (subclass ?CLASS1 ?CLASS2))	Media.kif 195-200	If equal a kind of getting and receiving a a kind of object and equal another kind of getting and 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 (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (subclass ?PHYS Process) (subOrganization ?DEP ?COMP)) (inhibits ?DEP ?PHYS))	Mid-level-ontology.kif 19972-19977	If equal an organization and another organization is preventing a kind of physical and a kind of physical is a subclass of process and the organization is a part of the organization the other organization, then the organization inhibits the kind of physical
(=> (and (equal ?M (OrganicObjectFn ?A)) (subclass ?M Meat)) (subclass ?A Animal))	Economy.kif 5285-5290	If equal a kind of object and Object made from a kind of organic object and a kind of object is a subclass of meat, then a kind of organic object is a subclass of animal
(=> (and (equal ?M (OrganicObjectFn ?G)) (subclass ?M Malt) (subclass ?G CerealGrain)) (initialPart ?G CerealGrass))	Economy.kif 4503-4509	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of malt and another kind of object is a subclass of cereal grain, then every the other kind of object is initially part of a cereal grass plant
(=> (and (equal ?O (OrganicObjectFn ?S)) (subclass ?O OilFromPlant) (or (subclass ?S Seed) (subclass ?S Fruit))) (exists (?P) (and (subclass ?P FloweringPlant) (initialPart ?S ?P))))	Economy.kif 4870-4881	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of oil from plant and another kind of object is a subclass of seed or the other kind of object is a subclass of fruit, then there exists a third kind of object such that a third kind of object is a subclass of flowering plant and every the other kind of object is initially part of a the third kind of object

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 33332-33339	If an object can be an argument to a relation and the object is an instance of the objectC and the number 1 argument of the relation is an instance of another class, then equal the objectC and the other class or the objectC is a subclass of the other class
(=> (and (attribute ?G ToxicandInfectiousSubstance) (or (instance ?G Substance) (instance ?G Microorganism))) (exists (?O ?P ?I ?CLASS) (and (or (instance ?O Human) (instance ?O Animal)) (orientation ?G ?O Near) (or (instance ?P Inhaling) (instance ?P Ingesting) (instance ?P Touching)) (agent ?P ?O) (patient ?P ?G) (causes ?P ?I) (patient ?I ?O) (instance ?I ?CLASS) (capability ?CLASS resource ?G) (or (subclass ?CLASS Injuring) (subclass ?CLASS Death)))))	Transportation.kif 4203-4227	If toxic and infectious substance is an attribute of an object and the object is an instance of substance or the object is an instance of microorganism, then there exist an agent, a process,, , another process and a third kind of process such that the agent is an instance of human or the agent is an instance of animal and the object is near to the agent and the process is an instance of inhaling or the process is an instance of ingesting or the process is an instance of touching and the agent is an agent of the process and the object is a patient of the process and the process causes the other process and the agent is a patient of the other process and the other process is an instance of a third kind of process and the object is capable of doing the third kind of process as a resource and the third kind of process is a subclass of injuring or the third kind of process is a subclass of death
(=> (and (attribute ?X DutyFree) (instance ?X Store)) (exists (?AREA ?OBJ ?O ?SELL) (and (instance ?AREA GeopoliticalArea) (located ?X ?AREA) (subclass ?O Object) (importCommodityType ?AREA ?O) (instance ?OBJ ?O) (instance ?SELL Selling) (patient ?SELL ?OBJ) (located ?SELL ?X))))	Hotel.kif 1489-1502	If duty free is an attribute of an object and the object is an instance of store, then there exist a geopolitical area, an entity,, , another kind of object and a process such that the geopolitical area is an instance of geopolitical area and the object is located at the geopolitical area and another kind of object is a subclass of object and the other kind of object is an import commodity type of the geopolitical area and the entity is an instance of the other kind of object and the process is an instance of selling and the entity is a patient of the process and the process is located at the object
(=> (and (birthdate ?A ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (birthday ?A ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 25883-25893	If a day is a birthdate of a human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist another kind of day and an integer such that the human's birthday is another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and equal the other kind of day and the day the positive integer of month the month a kind of month and the integer is greater than another integer
(=> (and (domain ?REL ?NUMBER ?CLASS1) (domain ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 215-221	If the number a positive integer argument of a relation is an instance of a class and the number the positive integer argument of the relation is an instance of another class, then the class is a subclass of the other class or the other class is a subclass of the class
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 3018-3023	If the number a positive integer argument of a relation is a subclass of a 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 class
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS1) (domainSubclass ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 238-244	If the number a positive integer argument of a relation is a subclass of a class and the number the positive integer argument of the relation is a subclass of another class, then the class is a subclass of the other class or the other class is a subclass of the class
(=> (and (equal ?CLASS1 (ReceivingAnObjectFn ?OBJCLASS1)) (equal ?CLASS2 (ReceivingAnObjectFn ?OBJCLASS2)) (subclass ?OBJCLASS1 ?OBJCLASS2)) (subclass ?CLASS1 ?CLASS2))	Media.kif 195-200	If equal a kind of getting and receiving a a kind of object and equal another kind of getting and 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 (equal ?M (OrganicObjectFn ?A)) (subclass ?M Meat)) (subclass ?A Animal))	Economy.kif 5285-5290	If equal a kind of object and Object made from a kind of organic object and a kind of object is a subclass of meat, then a kind of organic object is a subclass of animal
(=> (and (equal ?O (OrganicObjectFn ?S)) (subclass ?O OilFromPlant) (or (subclass ?S Seed) (subclass ?S Fruit))) (exists (?P) (and (subclass ?P FloweringPlant) (initialPart ?S ?P))))	Economy.kif 4870-4881	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of oil from plant and another kind of object is a subclass of seed or the other kind of object is a subclass of fruit, then there exists a third kind of object such that a third kind of object is a subclass of flowering plant and every the other kind of object is initially part of a the third kind of object
(=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure)))	Economy.kif 5599-5606	If equal a kind of object and Object made from a kind of organic object and a kind of object is a subclass of object, then a kind of organic object is a subclass of organism or the kind of organic object is a subclass of anatomical structure
(=> (and (equal ?P (OrganicObjectFn ?S)) (subclass ?P Pelt)) (subclass ?S Skin))	Economy.kif 5373-5377	If equal a kind of object and Object made from a kind of organic object and a kind of object is a subclass of pelt, then a kind of organic object is a subclass of skin
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W WoodProduct) (subclass ?S PlantStem)) (exists (?T) (and (subclass ?T BotanicalTree) (initialPart ?S ?T))))	Economy.kif 5576-5585	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of wood product and another kind of object is a subclass of plant stem, then there exists a third kind of object such that a third kind of object is a subclass of botanical tree and every the other kind of object is initially part of a the third kind of object
(=> (and (equal ?X (AttrFn ?CLASS ?ATTR)) (instance ?I ?X)) (and (instance ?I ?CLASS) (subclass ?X ?CLASS) (attribute ?I ?ATTR)))	Merge.kif 1790-1798	If equal a kind of object and the attr of another kind of object and an attribute and a third object is an instance of a kind of object, then the third object is an instance of another kind of object and the kind of object is a subclass of the other kind of object and the attribute is an attribute of the third object
(=> (and (instance ?A AegilopsGrass) (part ?C ?A) (instance ?C ?CLASS)) (subclass ?CLASS DiploidCell))	Economy.kif 4177-4182	If an object is an instance of Aegilops grass and another object is a part of the object and the other object is an instance of the other objectLASS, then the other objectLASS is a subclass of diploid cell
(=> (and (instance ?C CommonWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell))	Economy.kif 4300-4305	If an object is an instance of common wheat grass and the objectELL is a part of the object and the objectELL is an instance of the objectLASS, then the objectLASS is a subclass of hexaploid cell
(=> (and (instance ?C SpeltWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell))	Economy.kif 4330-4335	If an object is an instance of spelt wheat grass and the objectELL is a part of the object and the objectELL is an instance of the objectLASS, then the objectLASS is a subclass of hexaploid cell
(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?AGENT) (instance ?S Set) (patient ?DECIDE ?S) (element ?M ?S)) (believes ?AGENT (exists (?CLASS) (and (instance ?M ?CLASS) (subclass ?CLASS IntentionalProcess) (capability ?CLASS agent ?AGENT)))))	Merge.kif 12164-12176	If a process is an instance of deciding and a cognitive agent is an agent of the process and a set is an instance of set and the set is a patient of the process and an entity is an element of the set, then the cognitive agent believes there exists another entity such that the entity is an instance of the other entity and the other entity is a subclass of intentional process and the cognitive agent is capable of doing the other entity as a agent
(=> (and (instance ?E DurumWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell))	Economy.kif 4241-4246	If an object is an instance of durum wheat grass and another object is a part of the object and the other object is an instance of the other objectLASS, then the other objectLASS is a subclass of tetraploid cell
(=> (and (instance ?E EinkornWheatGrass) (part ?C ?E) (instance ?E ?CLASS)) (subclass ?CLASS DiploidCell))	Economy.kif 4271-4276	If an object is an instance of einkorn wheat grass and another object is a part of the object and the object is an instance of the other objectLASS, then the other objectLASS is a subclass of diploid cell
(=> (and (instance ?E EmmerWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell))	Economy.kif 4209-4214	If an object is an instance of emmer wheat grass and another object is a part of the object and the other object is an instance of the other objectLASS, then the other objectLASS is a subclass of tetraploid cell
(=> (and (instance ?E TriticumUrartu) (part ?C ?E) (instance ?E ?CLASS)) (subclass ?CLASS DiploidCell))	Economy.kif 4285-4290	If an object is an instance of Triticum urartu and another object is a part of the object and the object is an instance of the other objectLASS, then the other objectLASS is a subclass of diploid cell
(=> (and (instance ?F Felling) (result ?F ?S)) (exists (?STEM) (and (instance ?S (DeadFn ?STEM)) (subclass ?STEM PlantStem))))	Economy.kif 5827-5835	If a process is an instance of felling and an entity is a result of the process, then there exists the entityTEM such that the entity is an instance of a dead the entityTEM and the entityTEM is a subclass of plant stem
(=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject))))	Mid-level-ontology.kif 19655-19663	If a process is an instance of harvesting and an entity is a result of the process, then there exists the entityRG such that the entity is an instance of a dead the entityRG and the entityRG is a subclass of organic object
(=> (and (instance ?HP HearingProtection) (instance ?PERSON Human) (wears ?PERSON ?HP)) (hasPurpose ?HP (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?SOUND ?HEAR ?HUMAN ?T) (and (instance ?SOUND RadiatingSound) (instance ?HEAR Hearing) (instance ?HUMAN Human) (patient ?HEAR ?SOUND) (experiencer ?HEAR ?HUMAN) (causes ?HEAR ?I) (experiencer ?I ?HUMAN) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ) (instrument ?PROC ?HP)))))	Cars.kif 3508-3537	If a wearable item is an instance of hearing protection and an animal is an instance of human and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity and the wearable item is an instrument for the entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 963-974	equal the fit for military service male of a geopolitical area and the number of instances in the class described by a symbolic string
(exists (?T) (and (subclass ?T HandToolBox) (manufacturer ?T SortimoCorp)))	Cars.kif 5170-5173	There exists a kind of object such that a kind of object is a subclass of tool box and the maker of the kind of object is Sortimo Corporation

appearance as argument number 0

(subclass ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve Nerve)	Muscles.kif 778-778	A branch of dorsal primary division of suboccipital nerve is a subclass of nerve
(subclass ACPowerSource PowerSource)	Mid-level-ontology.kif 28254-28254	Ac power source is a subclass of power source
(subclass ADHD PsychologicalDysfunction)	Medicine.kif 3294-3294	Attention deficit hyperactivity disorder is a subclass of psychological dysfunction
(subclass AMFMAlarmClock AlarmClock)	Mid-level-ontology.kif 27208-27208	Am / fm alarm clock is a subclass of alarm clock
(subclass AMFMAlarmClock RadioReceiver)	Mid-level-ontology.kif 27209-27209	Am / fm alarm clock is a subclass of radio receiver
(subclass AMRadioStation RadioStation)	Communications.kif 293-293	AM radio station is a subclass of radio station
(subclass AMRadioSystem RadioSystem)	Communications.kif 236-236	AM radio system is a subclass of radio system
(subclass AOCnumber SymbolicString)	Transportation.kif 4075-4075	AOC number is a subclass of symbolic string
(subclass ATMMachine StationaryArtifact)	FinancialOntology.kif 3601-3601	ATM machine is a subclass of stationary artifact
(subclass ATMSlot HoleRegion)	FinancialOntology.kif 3677-3677	ATM slot is a subclass of hole
(subclass ATVTire Tire)	Cars.kif 4876-4876	Atv tire is a subclass of tire
(subclass AVCTP ComputerProgram)	ComputingBrands.kif 2169-2169	Audio/Video Control Transport Protocol is a subclass of computer program
(subclass AVPUStatus RelationalAttribute)	Medicine.kif 6430-6430	AVPU status is a subclass of relational attribute
(subclass AbaloneMeat MolluskMeat)	Food.kif 1994-1994	Abalone is a subclass of mollusk
(subclass Abatacept Immunosupressant)	Medicine.kif 4952-4952	Abatacept is a subclass of Immunosupressant
(subclass Abayah Cloak)	ArabicCulture.kif 527-527	Abayah is a subclass of cloak
(subclass Abbey ReligiousOrganization)	People.kif 1213-1213	Abbey is a subclass of religious organization
(subclass Abdomen AnimalAnatomicalStructure)	Mid-level-ontology.kif 14148-14148	Abdomen is a subclass of animal anatomical structure
(subclass AbdominalAorta Artery)	arteries.kif 1272-1272	Abdominal aorta is a subclass of artery
(subclass AbducensNerveCNVI Nerve)	Muscles.kif 135-135	Abducens nerve [CNVI] is a subclass of nerve
(subclass Abducting BodyMotion)	Anatomy.kif 2046-2046	Abducting is a subclass of body motion
(subclass Abducting MovingAwayFrom)	Anatomy.kif 2047-2047	Abducting is a subclass of moving away from
(subclass AbductorDigitiMinimiMuscle Muscle)	Muscles.kif 1608-1608	Abductor digiti minimi muscle is a subclass of muscle
(subclass AbductorHallucisMuscle Muscle)	Muscles.kif 2127-2127	Abductor hallucis muscle is a subclass of muscle
(subclass AbductorPollicisBrevisMuscle Muscle)	Muscles.kif 1581-1581	Abductor pollicis brevis muscle is a subclass of muscle

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: