Sigma KB Term Intersection

(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W SapeleWood) (subclass ?S PlantStem)) (initialPart ?S SapeleTree))	Economy.kif 5719-5724	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of Sapele wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Sapele tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W SpruceWood) (subclass ?S PlantStem)) (initialPart ?S SpruceTree))	Economy.kif 5792-5797	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of Spruce wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Spruce tree
(=> (equal ?P (PlantFn WineGrape)) (subclass ?P GrapeVine))	Economy.kif 5072-5075	If equal a kind of plant and plant fn wine grape, then a kind of plant is a subclass of grape vine
(=> (and (instance ?MENU SetMenu) (offers ?AGENT ?MENU) (catalogItem ?CLASS ?MENU) (subclass ?CLASS PreparedFood) (instance ?X ?VLASS) (instance ?Y ?CLASS) (not (equal ?X ?Y)) (price ?X ?PRICE1 ?AGENT1) (price ?Y ?PRICE2 ?AGENT2)) (equal ?PRICE1 ?PRICE2))	Dining.kif 189-201	If a catalog is an instance of set menu and an agent offers items for sale in the catalog and a kind of entity is in the catalog and a kind of entity is a subclass of prepared food and a physical is an instance of a class and another physical is an instance of the kind of entity and equal the physical and the other physical and the physical is price a currency measure for the agent1 and the other physical is price another currency measure for the agent2, then equal the currency measure and the other currency measure
(=> (and (instance ?X BreakingRecord) (agent ?X ?A1)) (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q) (and (instance ?AC Set) (element ?A1 ?AC) (subclass ?PC Process) (instance ?L Region) (instance ?TP TimePoint) (instance ?Q Quantity) (instance ?P1 ?PC) (refers ?X ?Q) (refers ?Q ?P1) (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 31922-31952	If a process is an instance of breaking record and an agent is an agent of the process, then there exist a set, a class,, , another process,, , a time point,, , a case role,, , an object and an entity such that the set is an instance of set and the agent is an element of the set and the class is a subclass of process and the object is an instance of region and the time point is an instance of time point and the entity is an instance of quantity and the other process is an instance of the class and the process includes a reference to the entity and the entity includes a reference to the other process and the agent plays role in event the case role for the other process and the other process is located at the object and there don't exist another entity and a third entity such that the other entity is an instance of the set and equal the other entity and the agent and the third entity is an instance of the class and the other entity plays role in event the case role for the third entity and the third entity is located at the object holds during interval between the time point and the end of the time of existence of the process
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W WalnutWood) (subclass ?S PlantStem)) (initialPart ?S WalnutTree))	Economy.kif 5729-5734	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of walnut wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a walnut tree
(=> (equal ?X (PlantFn SpeltWheatGrain)) (subclass ?X SpeltWheatGrass))	Economy.kif 4444-4447	If equal a kind of plant and plant fn spelt wheat grain, then a kind of plant is a subclass of spelt wheat grass
(=> (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 ?W (OrganicObjectFn ?S)) (subclass ?W BeechWood) (subclass ?S PlantStem)) (initialPart ?S BeechTree))	Economy.kif 5647-5652	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of Beech wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Beech tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Softwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S Conifers) Likely))	Economy.kif 5750-5757	If equal a kind of object and Object made from a kind of organic object and a kind of object is a subclass of softwood and a kind of organic object is a subclass of plant stem, then the statement every the kind of organic object is initially part of a conifers has the modal force of likely
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Hardwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S DeciduousTree) Likely))	Economy.kif 5625-5632	If equal a kind of object and Object made from a kind of organic object and a kind of object is a subclass of hardwood and a kind of organic object is a subclass of plant stem, then the statement every the kind of organic object is initially part of a deciduous tree has the modal force of likely
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W PoplarWood) (subclass ?S PlantStem)) (initialPart ?S PoplarTree))	Economy.kif 5699-5704	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of Poplar wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Poplar tree
(=> (and (subclass ?CLASS PlantStem) (equal ?CLASS Alfalfa)) (initialPart ?CLASS AlfalfaPlant))	Economy.kif 5165-5169	If a kind of object is a subclass of plant stem and equal a kind of object and alfalfa, then every the kind of object is initially part of a alfalfa plant
(=> (equal ?P (PlantFn Celery)) (subclass ?P HerbaceousPlant))	Food.kif 2434-2436	If equal a kind of plant and plant fn celery, then a kind of plant is a subclass of herbaceous plant
(=> (equal ?C (AgentOfOrganismFn YersiniaPestis)) (subclass ?C LifeThreateningAgent))	WMD.kif 401-404	If equal a kind of biological agent and the biological agent of yersinia pestis, then a kind of biological agent is a subclass of life threatening agent
(=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (exists (?R ?O) (and (instance ?R (DeadFn ?ORG)) (part ?R ?O) (instance ?O ?ORG))))	Economy.kif 5608-5617	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 there exist another object and a third object such that the other object is an instance of a dead a kind of organic object and the other object is a part of the third object and the third object is an instance of the kind of organic object
(=> (equal ?CLASS (GeographicPartTypeFn ?TYPE ?AREA)) (subclass ?CLASS ?TYPE))	Geography.kif 7258-7260	If equal a kind of geographic area and 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
(=> (and (instance ?PROCESS ?PROCESS_CLASS) (subclass ?PROCESS_CLASS Process) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?PROCESS ?AGENT) (agent ?ACCESSING ?AGENT) (during ?PROCESS ?ACCESSING) (instance ?TIMETOFIRST TimeInterval) (not (exists (?PROCESS2) (and (instance ?PROCESS2 ?PROCESS_CLASS) (agent ?PROCESS2 ?AGENT) (during ?PROCESS2 ?ACCESSING) (before (BeginFn (WhenFn ?PROCESS2)) (BeginFn (WhenFn ?PROCESS)))))) (equal (BeginFn (WhenFn ?ACCESSING)) (BeginFn (WhenFn ?TIMETOFIRST))) (equal (BeginFn (WhenFn ?PROCESS)) (EndFn (WhenFn ?TIMETOFIRST)))) (equal (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))	UXExperimentalTerms.kif 1496-1518	If a time interval is an instance of the time interval_CLASS and the time interval_CLASS is a subclass of process and an accessing web page is an instance of accessing web page and an agent is an instance of agent and the agent is an agent of the time interval and the agent is an agent of the accessing web page and the time interval takes place during the accessing web page and a physical is an instance of time interval and there doesn't exist the time interval2 such that the time interval2 is an instance of the time interval_CLASS and the agent is an agent of the time interval2 and the time interval2 takes place during the accessing web page and the beginning of the time of existence of the time interval2 happens before the beginning of the time of existence of the time interval and equal the beginning of the time of existence of the accessing web page and the beginning of the time of existence of the physical and equal the beginning of the time of existence of the time interval and the end of the time of existence of the physical, then equal the time of the accessing web page in the class the time interval_CLASS and the physical
(=> (and (instance ?WED Wedding) (date ?WED ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (weddingAnniversary ?WED ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 25842-25853	If a physical is an instance of wedding and date of the physical is 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 wedding anniversary the physical 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
(=> (equal ?P (PlantFn Mint)) (subclass ?P HerbaceousPlant))	Food.kif 2679-2681	If equal a kind of plant and plant fn mint, then a kind of plant is a subclass of herbaceous plant
(=> (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 ?T (OrganicObjectFn ?S)) (subclass ?T TeaPlantAerialPart) (subclass ?S PlantStem)) (initialPart ?S TeaPlant))	Economy.kif 5053-5059	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of tea plant aerial part and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a tea plant
(=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS LeafyGreenVegetable)) (initialPart ?CLASS Plant))	Economy.kif 4551-4555	If a kind of object is a subclass of plant leaf and equal a kind of object and leafy green vegetable, then every the kind of object is initially part of a plant
(=> (instance ?GUN Firearm) (hasPurpose ?GUN (exists (?A ?CARRY ?C) (and (instance ?A Human) (subclass ?CARRY Carrying) (instance ?C ?CARRY) (objectTransferred ?C ?GUN) (capability ?CARRY instrument ?A) (not (exists (?A2) (and (instance ?A2 Human) (not (equal ?A ?A2)) (instrument ?C ?A2))))))))	Mid-level-ontology.kif 1855-1871	If a physical is an instance of firearm, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the other entity is a subclass of carrying and the third entity is an instance of the other entity and the object transferred in the third entity is the physical and the entity is capable of doing the other entity as a instrument and there doesn't exist the entity2 such that the entity2 is an instance of human and equal the entity and the entity2 and the entity2 is an instrument for the third entity
(=> (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
(=> (equal ?P (PlantFn Sesame)) (subclass ?P HerbaceousPlant))	Food.kif 3404-3406	If equal a kind of plant and plant fn sesame, then a kind of plant is a subclass of herbaceous plant
(=> (equal ?P (PlantFn Garlic)) (subclass ?P HerbaceousPlant))	Food.kif 2591-2593	If equal a kind of plant and plant fn garlic, then a kind of plant is a subclass of herbaceous plant
(=> (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
(=> (equal ?P (PlantFn Scallion)) (subclass ?P HerbaceousPlant))	Food.kif 3367-3369	If equal a kind of plant and plant fn scallion, then a kind of plant is a subclass of herbaceous plant
(=> (equal ?X (PlantFn CommonWheatGrain)) (subclass ?X CommonWheatGrass))	Economy.kif 4403-4406	If equal a kind of plant and plant fn common wheat grain, then a kind of plant is a subclass of common wheat grass
(=> (equal ?X (PlantFn DurumWheatGrain)) (subclass ?X DurumWheatGrass))	Economy.kif 4413-4416	If equal a kind of plant and plant fn durum wheat grain, then a kind of plant is a subclass of durum wheat grass
(=> (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 ?S (OrganicObjectFn ?O)) (subclass ?S Lambskin) (subclass ?O Skin)) (initialPart ?O Lamb))	Economy.kif 5382-5387	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of lambskin and another kind of object is a subclass of skin, then every the other kind of object is initially part of a lamb
(=> (equal ?P (PlantFn Broccoli)) (subclass ?P CabbagePlant))	Food.kif 2403-2405	If equal a kind of plant and plant fn broccoli, then a kind of plant is a subclass of cabbage plant
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W BirchWood) (subclass ?S PlantStem)) (initialPart ?S BirchTree))	Economy.kif 5657-5662	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of Birch wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Birch tree
(=> (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
(=> (equal ?X (PlantFn EinkornWheatGrain)) (subclass ?X EinkornWheatGrass))	Economy.kif 4433-4436	If equal a kind of plant and plant fn Einkorn wheat grain, then a kind of plant is a subclass of einkorn wheat grass
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W FirWood) (subclass ?S PlantStem)) (initialPart ?S FirTree))	Economy.kif 5772-5777	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of fir wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Fir tree
(=> (equal ?P (PlantFn ButternutSquash)) (subclass ?P HerbaceousPlant))	Food.kif 2410-2412	If equal a kind of plant and plant fn butternut squash, then a kind of plant is a subclass of herbaceous plant
(=> (equal ?P (PlantFn Strawberry)) (subclass ?P HerbaceousPlant))	Food.kif 3490-3492	If equal a kind of plant and plant fn strawberry, then a kind of plant is a subclass of herbaceous plant
(=> (and (subclass ?CLASS Fruit) (equal ?CLASS Cucumber)) (initialPart ?CLASS CucumberPlant))	Economy.kif 4560-4564	If a kind of object is a subclass of fruit and equal a kind of object and cucumber, then every the kind of object is initially part of a cucumber plant
(=> (equal ?P (PlantFn Mustard)) (subclass ?P HerbaceousPlant))	Food.kif 2703-2705	If equal a kind of plant and plant fn mustard, then a kind of plant is a subclass of herbaceous plant
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W CherryWood) (subclass ?S PlantStem)) (or (initialPart ?S BlackCherryTree) (initialPart ?S SweetCherryTree)))	Economy.kif 5667-5674	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of cherry wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a black cherry tree or every the other kind of object is initially part of a sweet cherry tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W PineWood) (subclass ?S PlantStem)) (initialPart ?S PineTree))	Economy.kif 5803-5808	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of pine wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a pine tree
(=> (equal ?P (PlantFn TamarindFruit)) (subclass ?P BotanicalTree))	Food.kif 3496-3498	If equal a kind of plant and plant fn tamarind fruit, then a kind of plant is a subclass of botanical tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W RedOakWood) (subclass ?S PlantStem)) (initialPart ?S RedOakTree))	Economy.kif 5709-5714	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of red oak wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a red oak tree
(=> (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
(=> (equal ?P (PlantFn Parsley)) (subclass ?P HerbaceousPlant))	Food.kif 2740-2742	If equal a kind of plant and plant fn parsley, then a kind of plant is a subclass of herbaceous plant
(=> (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 (subclass ?TEXT Periodical) (equal (SeriesVolumeFn ?TEXT ?INT1) ?VOLUME1) (equal (SeriesVolumeFn ?TEXT ?INT2) ?VOLUME2) (greaterThan ?INT2 ?INT1) (instance ?PUB1 Publication) (instance ?PUB2 Publication) (instance ?CBO1 ?VOLUME1) (instance ?CBO2 ?VOLUME2) (patient ?PUB1 ?CBO1) (patient ?PUB2 ?CBO2) (date ?PUB1 ?DATE1) (date ?PUB2 ?DATE2)) (before (EndFn ?DATE1) (EndFn ?DATE2)))	Mid-level-ontology.kif 15995-16009	If a kind of series is a subclass of periodical and equal volume a positive integer in the series a kind of series and a kind of text and equal volume another positive integer in the series the kind of series and another kind of text and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of a kind of text and another entity is an instance of another kind of text and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
(=> (and (rangeSubclass ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (subclass ?VALUE ?CLASS))	Merge.kif 332-336	If the values returned by a function are subclasses of a kind of class and equal the function(@ROW) and another class, then the other class is a subclass of a kind of class
(=> (and (subclass ?T1C Tissue) (subclass ?T2C Tissue) (instance ?T1 ?T1C) (instance ?T2 ?T2C) (instance ?H Human) (part ?T1 ?H) (part ?T2 ?H) (not (equal ?T1C ?T2C)) (not (subclass ?T1C ?T2C)) (not (subclass ?T2C ?T1C)) (orientation ?T1 ?T2 Adjacent)) (modalAttribute (exists (?CT) (and (instance ?CT ConnectiveTissue) (between ?T1 ?CT ?T2))) Likely))	Merge.kif 15319-15340	If a class is a subclass of tissue and another class is a subclass of tissue and an object is an instance of the class and another object is an instance of the other class and a third object is an instance of human and the object is a part of the third object and the other object is a part of the third object and equal the class and the other class and the class is not a subclass of the other class and the other class is not a subclass of the class and the object is adjacent to the other object, then the statement there exists an entity such that the entity is an instance of connective tissue and the entity is between the object and the other object has the modal force of likely
(=> (and (equal ?S (OrganicObjectFn ?O)) (subclass ?S Sheepskin) (subclass ?O Skin)) (initialPart ?O Sheep))	Economy.kif 5392-5397	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of sheepskin and another kind of object is a subclass of skin, then every the other kind of object is initially part of a sheep
(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock))	Food.kif 1639-1645	If a kind of object is a subclass of mixture and every a kind of object is initially part of a meat and every the kind of object is initially part of a food from plant and every the kind of object is initially part of a potable water, then equal the kind of object and soup stock
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W BalsaWood) (subclass ?S PlantStem)) (initialPart ?S BalsaTree))	Economy.kif 5637-5642	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of Balsa wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Balsa tree
(=> (instance ?OBJ CorpuscularObject) (exists (?SUBSTANCE1 ?SUBSTANCE2) (and (subclass ?SUBSTANCE1 Substance) (subclass ?SUBSTANCE2 Substance) (material ?SUBSTANCE1 ?OBJ) (material ?SUBSTANCE2 ?OBJ) (not (equal ?SUBSTANCE1 ?SUBSTANCE2)))))	Merge.kif 1241-1249	If a corpuscular object is an instance of corpuscular object, then there exist a kind of substance and another kind of substance such that a kind of substance is a subclass of substance and another kind of substance is a subclass of substance and the corpuscular object is made of the kind of substance and the corpuscular object is made of the other kind of substance and equal the kind of substance and the other kind of substance
(=> (equal ?C (AgentOfOrganismFn SerratiaMarcenscens)) (subclass ?C LifeThreateningAgent))	WMD.kif 1371-1374	If equal a kind of biological agent and the biological agent of serratia marcenscens, then a kind of biological agent is a subclass of life threatening agent
(=> (equal ?P (PlantFn Blueberry)) (subclass ?P Shrub))	Food.kif 2217-2219	If equal a kind of plant and plant fn blueberry, then a kind of plant is a subclass of shrub
(=> (equal ?C (AgentOfOrganismFn TickBorneEncephalitisVirus)) (subclass ?C LifeThreateningAgent))	WMD.kif 2019-2022	If equal a kind of biological agent and the biological agent of tick borne encephalitis virus, then a kind of biological agent is a subclass of life threatening agent
(=> (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
(=> (equal ?C (AgentOfOrganismFn CoccidiodesPosadasii)) (subclass ?C LifeThreateningAgent))	WMD.kif 1393-1396	If equal a kind of biological agent and the biological agent of coccidiodes posadasii, then a kind of biological agent is a subclass of life threatening agent
(=> (equal ?P (PlantFn Basil)) (subclass ?P HerbaceousPlant))	Food.kif 2177-2179	If equal a kind of plant and plant fn basil, then a kind of plant is a subclass of herbaceous plant
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W OkoumeWood) (subclass ?S PlantStem)) (initialPart ?S OkoumeTree))	Economy.kif 5689-5694	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of Okoume wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a okoume 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 ?W (OrganicObjectFn ?S)) (subclass ?W CedarWood) (subclass ?S PlantStem)) (initialPart ?S CedarTree))	Economy.kif 5762-5767	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of Cedar wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Cedar tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W WhiteOakWood) (subclass ?S PlantStem)) (initialPart ?S WhiteOakTree))	Economy.kif 5739-5744	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of white oak wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a white oak tree
(=> (immediateSubclass ?CLASS1 ?CLASS2) (not (exists (?CLASS3) (and (subclass ?CLASS3 ?CLASS2) (subclass ?CLASS1 ?CLASS3) (not (equal ?CLASS2 ?CLASS3)) (not (equal ?CLASS1 ?CLASS3))))))	Merge.kif 154-161	If a class is an immediate subclass of another class, then there doesn't exist a third class such that the third class is a subclass of the other class and the class is a subclass of the third class and equal the other class and the third class and equal the class and the third class
(=> (and (subclass ?CLASS Seed) (equal ?CLASS Clover)) (initialPart ?CLASS CloverPlant))	Economy.kif 5179-5183	If a kind of object is a subclass of seed and equal a kind of object and clover, then every the kind of object is initially part of a clover plant
(=> (and (subclass ?CLASS Flower) (equal ?CLASS Cauliflower)) (initialPart ?CLASS CabbagePlant))	Economy.kif 4602-4606	If a kind of object is a subclass of flower and equal a kind of object and cauliflower, then every the kind of object is initially part of a cabbage plant
(=> (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
(=> (instance ?GUN Firearm) (hasPurpose ?GUN (exists (?A ?SHOOT ?S) (and (instance ?A Human) (subclass ?SHOOT Shooting) (instance ?S ?SHOOT) (objectTransferred ?S ?GUN) (capability ?SHOOT agent ?A) (not (exists (?A2) (and (instance ?A2 Human) (not (equal ?A ?A2)) (agent ?S ?A2))))))))	Mid-level-ontology.kif 1873-1889	If a physical is an instance of firearm, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the other entity is a subclass of shooting and the third entity is an instance of the other entity and the object transferred in the third entity is the physical and the entity is capable of doing the other entity as a agent and there doesn't exist the entity2 such that the entity2 is an instance of human and equal the entity and the entity2 and the entity2 is an agent of the third entity
(=> (equal ?P (PlantFn Apple)) (subclass ?P DeciduousTree))	Food.kif 2191-2193	If equal a kind of plant and plant fn apple, then a kind of plant is a subclass of deciduous tree
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W LarchWood) (subclass ?S PlantStem)) (initialPart ?S LarchTree))	Economy.kif 5782-5787	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of larch wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a larch tree
(=> (equal ?P (PlantFn CashewNut)) (subclass ?P BotanicalTree))	Food.kif 2428-2430	If equal a kind of plant and plant fn cashew nut, then a kind of plant is a subclass of botanical tree
(=> (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
(=> (immediateInstance ?ENTITY ?CLASS) (not (exists (?SUBCLASS) (and (subclass ?SUBCLASS ?CLASS) (not (equal ?SUBCLASS ?CLASS)) (instance ?ENTITY ?SUBCLASS)))))	Merge.kif 98-104	If an entity is an immediate instance of a class, then there doesn't exist another class such that the other class is a subclass of the class and equal the other class and the class and the entity is an instance of the other class
(=> (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
(=> (equal ?C (AgentOfOrganismFn CoccidioidesImmitis)) (subclass ?C LifeThreateningAgent))	WMD.kif 1381-1384	If equal a kind of biological agent and the biological agent of coccidioides immitis, then a kind of biological agent is a subclass of life threatening agent
(=> (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 ?S (OrganicObjectFn ?F)) (subclass ?S Suet) (subclass ?F FatTissue)) (or (initialPart ?F Cattle) (initialPart ?F Sheep)))	Food.kif 2913-2921	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of suet and another kind of object is a subclass of fat tissue, then every the other kind of object is initially part of a cattle or every the other kind of object is initially part of a sheep
(=> (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 ?W (OrganicObjectFn ?S)) (subclass ?W MapleWood) (subclass ?S PlantStem)) (initialPart ?S MapleTree))	Economy.kif 5679-5684	If equal a kind of object and Object made from another kind of object and a kind of object is a subclass of maple wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a maple tree
(=> (equal ?P (PlantFn Cilantro)) (subclass ?P HerbaceousPlant))	Food.kif 2536-2538	If equal a kind of plant and plant fn cilantro, then a kind of plant is a subclass of herbaceous plant
(=> (and (subclass ?CLASS Fruit) (equal ?CLASS Eggplant)) (initialPart ?CLASS EggplantPlant))	Economy.kif 4614-4618	If a kind of object is a subclass of fruit and equal a kind of object and eggplant, then every the kind of object is initially part of a eggplant
(=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS Cabbage)) (initialPart ?CLASS CabbagePlant))	Economy.kif 4576-4580	If a kind of object is a subclass of plant leaf and equal a kind of object and cabbage, then every the kind of object is initially part of a cabbage plant
(=> (equal ?X (PlantFn EmmerWheatGrain)) (subclass ?X EmmerWheatGrass))	Economy.kif 4423-4426	If equal a kind of plant and plant fn Emmer wheat grain, then a kind of plant is a subclass of emmer wheat grass

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