subclass - Sigma Knowledge base Browser

appearance as argument number 1

(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
(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 18689-18689	subclass is an instance of ClosedWorldPredicate
(instance subclass PartialOrderingRelation)	Merge.kif 130-130	subclass is an instance of partial ordering relation

appearance as argument number 2

(format EnglishLanguage subclass "%1 is %n a subclass of %2")	english_format.kif 324-324
(subrelation subField subclass)	Mid-level-ontology.kif 23402-23402	subField is a subrelation of subclass
(termFormat ChineseLanguage subclass "子类")	domainEnglishFormat.kif 55707-55707	subField is a subrelation of subclass
(termFormat ChineseTraditionalLanguage subclass "子類")	domainEnglishFormat.kif 55706-55706	subField is a subrelation of subclass
(termFormat EnglishLanguage subclass "subclass")	domainEnglishFormat.kif 55705-55705	subField 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 3976-3996	If ADHD is an attribute of an agent and ADHD 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 HotelUnit, 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 UnitOfArea 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 biochemicalAgentDelivery a kind of BiochemicalAgent and a kind of process and another kind of process is a subclass of a kind of process, then biochemicalAgentDelivery a kind of BiochemicalAgent and another kind of process
(=> (and (biologicalAgentCarrier ?AGENT ?ORGANISM) (subclass ?SUB ?ORGANISM)) (biologicalAgentCarrier ?AGENT ?SUB))	WMD.kif 976-980	If biologicalAgentCarrier a kind of BiologicalAgent and a kind of organism and another kind of organism is a subclass of a kind of organism, then biologicalAgentCarrier a kind of BiologicalAgent and another kind of 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	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 commemoratesDate a kind of Holiday and the day a positive integer of month the month a kind of month and an entity is an instance of a kind of Holiday and the kind of Holiday is a subclass of FixedHoliday 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 customer a cognitive agent and an agent and propertyAmenity the agent and 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 customer a cognitive agent and an agent and propertyAmenity the agent and 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 14965-14976	If defaultMaximumMeasure a kind of object and a real number an unit of measure(s) and a class is a subclass of NonCompositeUnitOfMeasure 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 14934-14945	If defaultMinimumMeasure a kind of object and a real number an unit of measure(s) and a class is a subclass of NonCompositeUnitOfMeasure 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 diseaseMedicine a disease or syndrome, a kind of biologically active substance and a kind of process and another kind of process is a subclass of a kind of process, then diseaseMedicine the disease or syndrome, a kind of biologically active substance and another kind of process
(=> (and (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?SUBSTANCE)) (diseaseMedicine ?DISEASE ?SUB ?PROCESS))	WMD.kif 963-967	If diseaseMedicine a disease or syndrome, a kind of biologically active substance and a kind of process and another kind of biologically active substance is a subclass of a kind of biologically active substance, then diseaseMedicine the disease or syndrome, another kind of biologically active substance and 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 2347-2356	If electricityConsumptionInPeriod a geopolitical area, a physical quantity and 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 FiscalYearFn the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and annualElectricityConsumption the geopolitical area and the physical quantity 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 2391-2400	If electricityExportInPeriod a geopolitical area, a physical quantity and 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 FiscalYearFn the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and annualElectricityExport the geopolitical area and the physical quantity 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 2437-2446	If electricityImportInPeriod a geopolitical area, a physical quantity and 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 FiscalYearFn the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and annualElectricityImport the geopolitical area and the physical quantity 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 2215-2224	If electricityProductionInPeriod a geopolitical area, a physical quantity and 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 FiscalYearFn the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and annualElectricityProduction the geopolitical area and the physical quantity 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 OrganicObjectFn another kind of object and a kind of object is a subclass of AnimalFat and another kind of object is a subclass of fat tissue, then initialPart the other kind of object and animal
(=> (and (equal ?B (OrganicObjectFn ?P)) (subclass ?B CoffeeBean) (subclass ?P Seed)) (initialPart ?P CoffeePlant))	Economy.kif 4962-4967	If equal a kind of object and OrganicObjectFn another kind of object and a kind of object is a subclass of CoffeeBean and another kind of object is a subclass of Seed, then initialPart the other kind of object and CoffeePlant
(=> (and (equal ?C (OrganicObjectFn ?S)) (subclass ?C CocoaBean) (subclass ?S Seed)) (initialPart ?S CocoaTree))	Economy.kif 5026-5032	If equal a kind of object and OrganicObjectFn another kind of object and a kind of object is a subclass of CocoaBean and another kind of object is a subclass of Seed, then initialPart the other kind of object and CocoaTree
(=> (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 ReceivingAnObjectFn a kind of object and equal another kind of getting and ReceivingAnObjectFn 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 20126-20131	If equal an organization and DepartmentOfPreventingFn another organization and 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 5280-5285	If equal a kind of object and OrganicObjectFn 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 4498-4504	If equal a kind of object and OrganicObjectFn another kind of object and a kind of object is a subclass of Malt and another kind of object is a subclass of CerealGrain, then initialPart the other kind of object and CerealGrass
(=> (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 4865-4876	If equal a kind of object and OrganicObjectFn another kind of object and a kind of object is a subclass of OilFromPlant 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 initialPart the other kind of object and 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 33861-33868	If applicableRelation an object and 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 4250-4274	If ToxicandInfectiousSubstance 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 DutyFree 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 importCommodityType the geopolitical area and the other kind of object 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 26385-26395	If birthdate a human and a day 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 birthday the human and 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 3043-3048	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 ReceivingAnObjectFn a kind of object and equal another kind of getting and ReceivingAnObjectFn 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 5280-5285	If equal a kind of object and OrganicObjectFn 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 4865-4876	If equal a kind of object and OrganicObjectFn another kind of object and a kind of object is a subclass of OilFromPlant 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 initialPart the other kind of object and the third kind of object
(=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure)))	Economy.kif 5594-5601	If equal a kind of object and OrganicObjectFn 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 5368-5372	If equal a kind of object and OrganicObjectFn 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 5571-5580	If equal a kind of object and OrganicObjectFn another kind of object and a kind of object is a subclass of WoodProduct and another kind of object is a subclass of PlantStem, then there exists a third kind of object such that a third kind of object is a subclass of BotanicalTree and initialPart the other kind of object and 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 1815-1823	If equal a kind of object and AttrFn 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 4172-4177	If an object is an instance of AegilopsGrass 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 DiploidCell
(=> (and (instance ?C CommonWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell))	Economy.kif 4295-4300	If an object is an instance of CommonWheatGrass 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 HexaploidCell
(=> (and (instance ?C SpeltWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell))	Economy.kif 4325-4330	If an object is an instance of SpeltWheatGrass 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 HexaploidCell
(=> (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 12186-12198	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 4236-4241	If an object is an instance of DurumWheatGrass 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 TetraploidCell
(=> (and (instance ?E EinkornWheatGrass) (part ?C ?E) (instance ?E ?CLASS)) (subclass ?CLASS DiploidCell))	Economy.kif 4266-4271	If an object is an instance of EinkornWheatGrass 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 DiploidCell
(=> (and (instance ?E EmmerWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell))	Economy.kif 4204-4209	If an object is an instance of EmmerWheatGrass 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 TetraploidCell
(=> (and (instance ?E TriticumUrartu) (part ?C ?E) (instance ?E ?CLASS)) (subclass ?CLASS DiploidCell))	Economy.kif 4280-4285	If an object is an instance of TriticumUrartu 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 DiploidCell
(=> (and (instance ?F Felling) (result ?F ?S)) (exists (?STEM) (and (instance ?S (DeadFn ?STEM)) (subclass ?STEM PlantStem))))	Economy.kif 5822-5830	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 DeadFn the entityTEM and the entityTEM is a subclass of PlantStem
(=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject))))	Mid-level-ontology.kif 19809-19817	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 DeadFn 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 WearableItem is an instance of HearingProtection and an animal is an instance of human and the animal wears the WearableItem, then the WearableItem 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 WearableItem 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 962-973	equal FitForMilitaryServiceMaleFn 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 HandToolBox and manufacturer the kind of object and SortimoCorp

appearance as argument number 0

(subclass AAM AirAttackMissile)	MilitaryDevices.kif 1327-1327	AAM is a subclass of AirAttackMissile
(subclass AAM AirLaunchMissile)	MilitaryDevices.kif 1326-1326	AAM is a subclass of AirLaunchMissile
(subclass AAM GuidedMissile)	MilitaryDevices.kif 1328-1328	AAM is a subclass of GuidedMissile
(subclass AAV AmphibiousVehicle)	MilitaryDevices.kif 1804-1804	AAV is a subclass of AmphibiousVehicle
(subclass AAV MilitaryVehicle)	MilitaryDevices.kif 1803-1803	AAV is a subclass of MilitaryVehicle
(subclass AAV PassengerVehicle)	MilitaryDevices.kif 1805-1805	AAV is a subclass of PassengerVehicle
(subclass AAV PoweredVehicle)	MilitaryDevices.kif 1806-1806	AAV is a subclass of PoweredVehicle
(subclass ACPowerSource PowerSource)	Mid-level-ontology.kif 28787-28787	ACPowerSource is a subclass of PowerSource
(subclass ADHD PsychologicalDysfunction)	Medicine.kif 3281-3281	ADHD is a subclass of psychological dysfunction
(subclass AGM AirLaunchMissile)	MilitaryDevices.kif 1280-1280	AGM is a subclass of AirLaunchMissile
(subclass AGM GroundAttackMissile)	MilitaryDevices.kif 1281-1281	AGM is a subclass of GroundAttackMissile
(subclass AGM114 AGM)	MilitaryDevices.kif 1360-1360	AGM114 is a subclass of AGM
(subclass AGM114 AntiArmorWeapon)	MilitaryDevices.kif 1362-1362	AGM114 is a subclass of AntiArmorWeapon
(subclass AGM114 BeamRidingGMissile)	MilitaryDevices.kif 1361-1361	AGM114 is a subclass of BeamRidingGMissile
(subclass AGM65 AGM)	MilitaryDevices.kif 1293-1293	AGM65 is a subclass of AGM
(subclass AGM65 AntiArmorWeapon)	MilitaryDevices.kif 1295-1295	AGM65 is a subclass of AntiArmorWeapon
(subclass AGM65 InfraRedGMissile)	MilitaryDevices.kif 1294-1294	AGM65 is a subclass of InfraRedGMissile
(subclass AH1 Helicopter)	MilitaryDevices.kif 2046-2046	AH1 is a subclass of Helicopter
(subclass AH1 MilitaryVehicle)	MilitaryDevices.kif 2047-2047	AH1 is a subclass of MilitaryVehicle
(subclass AIM9 AAM)	MilitaryDevices.kif 1334-1334	AIM9 is a subclass of AAM
(subclass AIM9 InfraRedGMissile)	MilitaryDevices.kif 1335-1335	AIM9 is a subclass of InfraRedGMissile
(subclass AMEV Ambulance)	MilitaryDevices.kif 2287-2287	AMEV is a subclass of Ambulance
(subclass AMEV LandVehicle)	MilitaryDevices.kif 2286-2286	AMEV is a subclass of LandVehicle
(subclass AMEV MilitaryVehicle)	MilitaryDevices.kif 2285-2285	AMEV is a subclass of MilitaryVehicle
(subclass AMFMAlarmClock AlarmClock)	Mid-level-ontology.kif 27710-27710	AMFMAlarmClock is a subclass of AlarmClock

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: