Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - subclass
subclass

appearance as argument number 1
-------------------------


(instance subclass BinaryPredicate) Merge.kif 129-129 subclass is an instance of binary predicate
(instance subclass PartialOrderingRelation) Merge.kif 130-130 subclass is an instance of partial ordering relation
(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
(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 The number 2 argument of subclass is an instance of class
(instance subclass ClosedWorldPredicate) Merge.kif 18687-18687 subclass is an instance of closed world predicate

appearance as argument number 2
-------------------------


(subrelation subField subclass) Mid-level-ontology.kif 23618-23618 sub field is a subrelation of subclass
(termFormat EnglishLanguage subclass "subclass") domainEnglishFormat.kif 55699-55699 sub field is a subrelation of subclass
(termFormat ChineseTraditionalLanguage subclass "子類") domainEnglishFormat.kif 55700-55700 sub field is a subrelation of subclass
(termFormat ChineseLanguage subclass "子类") domainEnglishFormat.kif 55701-55701 sub field is a subrelation of subclass
(format EnglishLanguage subclass "%1 is %n a subclass of %2") english_format.kif 324-324 sub field is a subrelation of subclass

antecedent
-------------------------


(=>
    (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 All of the following hold: (1) writer is an attribute of X (2) Y is an instance of Z (3) Z is a subclass of text or Z is a subclass of document (4) W is an instance of writing (5) X is an agent of W (6) Y is a result of W, then X is the author of Z
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?OBJ ?CATALOG)
        (subclass ?OBJ Physical))
    (modalAttribute
        (exists (?S ?X)
            (and
                (instance ?X ?OBJ)
                (instance ?S Selling)
                (agent ?S ?AGENT)
                (patient ?S ?X))) Possibility))		 Catalog.kif 51-62 If X offers items for sale in Y, Z is in Y, and Z is a subclass of physical, then the statement there exist W, V such that V is an instance of Z, W is an instance of selling, X is an agent of W, and V is a patient of W has the modal force of possibility
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?PROP ?CATALOG)
        (subclass ?PROP Proposition))
    (modalAttribute
        (exists (?P ?S ?X)
            (and
                (instance ?P ?PROP)
                (realization ?X ?P)
                (instance ?S Selling)
                (patient ?S ?X)
                (agent ?S ?AGENT))) Possibility))		 Catalog.kif 64-76 If X offers items for sale in Y, Z is in Y, and Z is a subclass of proposition, then the statement there exist W, V, U such that W is an instance of Z, U expresses the content of W, V is an instance of selling, U is a patient of V, and X is an agent of V has the modal force of possibility
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Process))
    (capability ?CLASS agent ?AGENT))		 Catalog.kif 88-93 If X offers items for sale in Y, Z is in Y, and Z is a subclass of process, then X is capable of doing Z as a agent
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINST ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINST ?OBJ))
    (capability ?PROCESS agent ?AGENT))		 Catalog.kif 98-107 If All of the following hold: (1) X offers items for sale in Y (2) Z is in Y (3) Z is a subclass of object (4) W is an instance of V (5) V is a subclass of process (6) U is an instance of Z (7) U is a patient of W, then X is capable of doing V as a agent
(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Process)
        (instance ?TIMEINT ?TIME)
        (subclass ?TIME TimeInterval))
    (capabilityDuring ?CLASS agent ?AGENT ?TIME))		 Catalog.kif 130-137 If X offers items for sale in Y during Z, W is in Y, W is a subclass of process, Z is an instance of V, and V is a subclass of timeframe, then X is capable of being a agent in W during V
(=>
    (and
        (offersAtTime ?AGENT ?CATALOG ?TIMEINT)
        (catalogItem ?CLASS ?CATALOG)
        (subclass ?CLASS Object)
        (instance ?PROCESSINSTANCE ?PROCESS)
        (subclass ?PROCESS Process)
        (instance ?OBJ ?CLASS)
        (patient ?PROCESSINSTANCE ?OBJ)
        (instance ?TIMEINT ?TIME)
        (subclass ?TIME TimeInterval))
    (capabilityDuring ?PROCESS agent ?AGENT ?TIME))		 Catalog.kif 139-150 If All of the following hold: (1) X offers items for sale in Y during Z (2) W is in Y (3) W is a subclass of object (4) V is an instance of U (5) U is a subclass of process (6) T is an instance of W (7) T is a patient of V (8) Z is an instance of S (9) S is a subclass of timeframe, then X is capable of being a agent in U during S
(=>
    (and
        (instance ?B Buying)
        (patient ?B ?ITEM)
        (origin ?B ?AGENT)
        (or
            (publishedPrice ?ENT ?PRICE ?AGENT ?PS)
            (unitPrice ?ENT ?QUANT ?AGENT ?PS))
        (subclass ?ENT Physical)
        (immediateInstance ?ITEM ?ENT)
        (validPaymentType ?PS ?PAY))
    (modalAttribute
        (exists (?PAYMENT)
            (and
                (instance ?PAYMENT ?PAY)
                (subProcess ?PAYMENT ?B))) Likely))		 Catalog.kif 337-352 If All of the following hold: (1) X is an instance of buying (2) Y is a patient of X (3) X originates at Z (4) the price of W from Z according to V is U or the unit price charged Z under V for T is W (5) W is a subclass of physical (6) Y is an immediate instance of W (7) S is a valid payment under V, then the statement there exists R such that R is an instance of S and R is a subprocess of X has the modal force of likely
(=>
    (and
        (or
            (publishedPrice ?ENT ?PRICE ?AGENT ?PS)
            (unitPrice ?ENT ?QUANT ?AGENT ?PS))
        (subclass ?ENT Physical)
        (immediateInstance ?ITEM ?ENT)
        (validFor ?PS ?CUSTCLASS)
        (instance ?CUSTOMER ?CUSTCLASS))
    (modalAttribute
        (=>
            (and
                (instance ?B Buying)
                (agent ?B ?CUSTOMER)
                (origin ?B ?AGENT)
                (patient ?B ?ITEM))
            (transactionAmount ?B ?PRICE)) Likely))		 Catalog.kif 354-370 If the price of X from Y according to Z is W or the unit price charged Y under Z for V is X, X is a subclass of physical, U is an immediate instance of X, Z is valid for T, and S is an instance of T, then the statement R is an instance of buying, S is an agent of R, R originates at Y, and U is a patient of RW is a transaction amount of R has the modal force of likely
(=>
    (and
        (or
            (publishedPrice ?ENT ?PRICE ?AGENT ?PS)
            (unitPrice ?ENT ?QUANT ?AGENT ?PS))
        (subclass ?ENT Physical)
        (immediateInstance ?ITEM ?ENT)
        (validityPeriod ?PS ?TIMEINT))
    (holdsDuring ?TIMEINT
        (modalAttribute
            (=>
                (and
                    (instance ?S Selling)
                    (agent ?S ?AGENT)
                    (patient ?S ?ITEM))
                (transactionAmount ?S ?PRICE)) Likely)))		 Catalog.kif 372-387 If the price of X from Y according to Z is W or the unit price charged Y under Z for V is X, X is a subclass of physical, U is an immediate instance of X, and Z is valid during T, then the statement S is an instance of selling, Y is an agent of S, and U is a patient of SW is a transaction amount of S has the modal force of likely holds during T
(=>
    (and
        (subclass ?OS AndroidOS)
        (instance ?INST ?OS))
    (creator AlphabetCorporation ?INST))		 ComputingBrands.kif 30-34 If X is a subclass of Android and Y is an instance of X, then Alphabet created Y
(=>
    (and
        (subclass ?OS WindowsOS)
        (instance ?INST ?OS))
    (creator MicrosoftCorporation ?INST))		 ComputingBrands.kif 62-66 If X is a subclass of windows OS and Y is an instance of X, then Microsoft created Y
(=>
    (and
        (subclass ?OS AppleIOS)
        (instance ?INST ?OS))
    (creator AppleComputerCorporation ?INST))		 ComputingBrands.kif 93-97 If X is a subclass of IOS and Y is an instance of X, then Apple created Y
(=>
    (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 All of the following hold: (1) X is an instance of set menu (2) Y offers items for sale in X (3) Z is in X (4) Z is a subclass of prepared food (5) W is an instance of V (6) U is an instance of Z (7) equal W and U (8) W is price T for S (9) U is price R for Q, then equal T and R
(=>
    (and
        (subjectiveAttribute ?AGENT1 Quick ?PERSON)
        (subjectiveAttribute ?AGENT2 Slow ?PERSON)
        (instance ?PROCESS1 ?CLASS)
        (instance ?PROCESS2 ?CLASS)
        (subclass ?CLASS Process)
        (agent ?PROCESS1 ?AGENT1)
        (agent ?PROCESS2 ?AGENT2))
    (and
        (instance ?U UnitOfDuration)
        (duration
            (WhenFn ?PROCESS1)
            (MeasureFn ?TIME1 ?U))
        (duration
            (WhenFn ?PROCESS2)
            (MeasureFn ?TIME2 ?U))
        (greaterThan ?TIME2 ?TIME1)))		 Dining.kif 1044-1059 If All of the following hold: (1) X believes Y is quick (2) X believes Z is slow (3) W is an instance of V (4) U is an instance of V (5) V is a subclass of process (6) Y is an agent of W (7) Z is an agent of U, then T is an instance of unit of duration, duration of the time of existence of W is S T(s), duration of the time of existence of U is R T(s), and R is greater than S
(=>
    (and
        (organizationProductType ?BUSINESS ?TYPE)
        (subclass ?TYPE ?GENUS))
    (organizationProductType ?BUSINESS ?GENUS))		 Economy.kif 1747-1751 If X is an organization product type of Y and X is a subclass of Z, then Z is an organization product type of Y
(=>
    (and
        (organizationServiceType ?BUSINESS ?TYPE)
        (subclass ?TYPE ?GENUS))
    (organizationServiceType ?BUSINESS ?GENUS))		 Economy.kif 1787-1791 If X is an organization service type of Y and X is a subclass of Z, then Z is an organization service type of Y
(=>
    (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 X is electricity production in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity production of X holds during W
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityProduction ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2226-2233 If X is an annual electricity production of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity production in period X for W
(=>
    (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 X is electricity consumption in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity consumption of X holds during W
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityConsumption ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2358-2365 If X is an annual electricity consumption of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity consumption in period X for W
(=>
    (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 X is electricity export in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity export of X holds during W
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityExport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2402-2409 If X is an annual electricity export of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity export in period X for W
(=>
    (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 X is electricity import in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity import of X holds during W
(=>
    (and
        (holdsDuring ?YEAR
            (annualElectricityImport ?AREA ?AMOUNT))
        (instance ?YEAR ?PERIOD)
        (or
            (subclass ?PERIOD Year)
            (subclass ?PERIOD
                (FiscalYearFn ?AREA))))
    (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))		 Economy.kif 2448-2455 If X is an annual electricity import of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity import in period X for W

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (instance ?CF CharcoalFilter)
    (exists (?C)
        (and
            (subclass ?C Charcoal)
            (material ?C ?CF))))		 Cars.kif 1695-1700 If X is an instance of charcoal filter, then there exists Y such that Y is a subclass of charcoal and X is made of Y
(=>
    (and
        (instance ?SH SafetyHarness)
        (instance ?PERSON Animal)
        (wears ?PERSON ?SH))
    (hasPurpose ?SH
        (exists (?PROC ?INJ ?I)
            (and
                (instance ?PROC Process)
                (instrument ?PROC ?SH)
                (patient ?PROC ?PERSON)
                (subclass ?INJ
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?F ?H ?T)
                                (and
                                    (instance ?H Human)
                                    (experiencer ?I ?H)
                                    (instance ?F Falling)
                                    (experiencer ?F ?H)
                                    (causes ?F ?I)
                                    (=>
                                        (holdsDuring ?T
                                            (experiencer ?I ?PERSON))
                                        (not
                                            (holdsDuring ?T
                                                (patient ?PROC ?PERSON)))))))))
                (prevents ?PROC ?INJ)))))		 Cars.kif 3467-3495 If X is an instance of safety harness, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, X is an instrument for Z, Y is a patient of Z, W is a subclass of the class described by V, and Z prevents the occurrence of W
(=>
    (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 3525-3554 If X is an instance of hearing protection, Y is an instance of human, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, W is a subclass of the class described by V, Z prevents the occurrence of W, and X is an instrument for Z
(=>
    (instance ?PE ProtectiveEyewear)
    (hasPurpose ?PE
        (=>
            (exists (?PERSON)
                (and
                    (instance ?PERSON Human)
                    (wears ?PERSON ?PE)))
            (exists (?PROTECT ?EYE ?INJ ?I ?T)
                (and
                    (instance ?PROTECT Process)
                    (instrument ?PROTECT ?PE)
                    (subclass ?INJ
                        (KappaFn ?I
                            (exists (?HUMAN)
                                (and
                                    (instance ?I Injuring)
                                    (instance ?EYE Eye)
                                    (instance ?HUMAN Human)
                                    (properPart ?EYE ?HUMAN)
                                    (patient ?I ?EYE)
                                    (=>
                                        (holdsDuring ?T
                                            (patient ?I ?PERSON))
                                        (not
                                            (holdsDuring ?T
                                                (patient ?PROTECT ?PERSON))))))))
                    (prevents ?PROTECT ?INJ))))))		 Cars.kif 3560-3587 If X is an instance of protective eyewear, then X has the purpose there exists Y such that Y is an instance of human, Y wears Xthere exist Z, W,, , V,, , U, T such that Z is an instance of process, X is an instrument for Z, V is a subclass of the class described by U, and Z prevents the occurrence of V
(=>
    (and
        (instance ?X Respirator)
        (instance ?PERSON Animal)
        (wears ?PERSON ?X))
    (hasPurpose ?X
        (exists (?INHAL ?INJ ?PROTECT ?I)
            (and
                (instance ?PROTECT Process)
                (instrument ?PROTECT ?X)
                (prevents ?PROTECT ?INJ)
                (subclass ?INJ
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?H)
                                (and
                                    (instance ?H Human)
                                    (patient ?I ?H)
                                    (instance ?INHAL Inhaling)
                                    (agent ?INHAL ?H)
                                    (causes ?I ?INHAL))))))))))		 Cars.kif 3609-3630 If X is an instance of respirator, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W,, , V, U such that V is an instance of process, X is an instrument for V, V prevents the occurrence of W, and W is a subclass of the class described by U
(=>
    (and
        (instance ?MENU Menu)
        (catalogItem ?X ?MENU))
    (subclass ?X
        (FoodForFn Human)))		 Dining.kif 178-182 If X is an instance of menu and Y is in X, then Y is a subclass of food for human
(=>
    (and
        (instance ?MENU BeverageMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X Beverage))		 Dining.kif 208-212 If X is an instance of drinks menu and Y is in X, then Y is a subclass of beverage
(=>
    (and
        (instance ?MENU AlcoholMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X AlcoholicBeverage))		 Dining.kif 219-223 If X is an instance of cocktail menu and Y is in X, then Y is a subclass of alcoholic beverage
(=>
    (and
        (instance ?MENU WineMenu)
        (catalogItem ?X ?MENU))
    (subclass ?X WineMenu))		 Dining.kif 229-233 If X is an instance of wine list and Y is in X, then Y is a subclass of wine list
(=>
    (and
        (instance ?A AegilopsGrass)
        (part ?C ?A)
        (instance ?C ?CLASS))
    (subclass ?CLASS DiploidCell))		 Economy.kif 4172-4177 If X is an instance of Aegilops grass, Y is a part of X, and Y is an instance of Z, then Z is a subclass of diploid cell
(=>
    (and
        (instance ?E EmmerWheatGrass)
        (part ?C ?E)
        (instance ?C ?CLASS))
    (subclass ?CLASS TetraploidCell))		 Economy.kif 4204-4209 If X is an instance of emmer wheat grass, Y is a part of X, and Y is an instance of Z, then Z is a subclass of tetraploid cell
(=>
    (and
        (instance ?E DurumWheatGrass)
        (part ?C ?E)
        (instance ?C ?CLASS))
    (subclass ?CLASS TetraploidCell))		 Economy.kif 4236-4241 If X is an instance of durum wheat grass, Y is a part of X, and Y is an instance of Z, then Z is a subclass of tetraploid cell
(=>
    (and
        (instance ?E EinkornWheatGrass)
        (part ?C ?E)
        (instance ?E ?CLASS))
    (subclass ?CLASS DiploidCell))		 Economy.kif 4266-4271 If X is an instance of einkorn wheat grass, Y is a part of X, and X is an instance of Z, then Z is a subclass of diploid cell
(=>
    (and
        (instance ?E TriticumUrartu)
        (part ?C ?E)
        (instance ?E ?CLASS))
    (subclass ?CLASS DiploidCell))		 Economy.kif 4280-4285 If X is an instance of Triticum urartu, Y is a part of X, and X is an instance of Z, then Z is a subclass of diploid cell
(=>
    (and
        (instance ?C CommonWheatGrass)
        (part ?CELL ?C)
        (instance ?CELL ?CLASS))
    (subclass ?CLASS HexaploidCell))		 Economy.kif 4295-4300 If X is an instance of common wheat grass, Y is a part of X, and Y is an instance of Z, then Z is a subclass of hexaploid cell
(=>
    (and
        (instance ?C SpeltWheatGrass)
        (part ?CELL ?C)
        (instance ?CELL ?CLASS))
    (subclass ?CLASS HexaploidCell))		 Economy.kif 4325-4330 If X is an instance of spelt wheat grass, Y is a part of X, and Y is an instance of Z, then Z is a subclass of hexaploid cell
(=>
    (equal ?X
        (PlantFn CommonWheatGrain))
    (subclass ?X CommonWheatGrass))		 Economy.kif 4398-4401 If equal X and plant fn common wheat grain, then X is a subclass of common wheat grass
(=>
    (equal ?X
        (PlantFn DurumWheatGrain))
    (subclass ?X DurumWheatGrass))		 Economy.kif 4408-4411 If equal X and plant fn durum wheat grain, then X is a subclass of durum wheat grass
(=>
    (equal ?X
        (PlantFn EmmerWheatGrain))
    (subclass ?X EmmerWheatGrass))		 Economy.kif 4418-4421 If equal X and plant fn Emmer wheat grain, then X is a subclass of emmer wheat grass
(=>
    (equal ?X
        (PlantFn EinkornWheatGrain))
    (subclass ?X EinkornWheatGrass))		 Economy.kif 4428-4431 If equal X and plant fn Einkorn wheat grain, then X is a subclass of einkorn wheat grass
(=>
    (equal ?X
        (PlantFn SpeltWheatGrain))
    (subclass ?X SpeltWheatGrass))		 Economy.kif 4439-4442 If equal X and plant fn spelt wheat grain, then X is a subclass of spelt wheat grass
(=>
    (instance ?S Spice)
    (exists (?P ?CLASS)
        (and
            (instance ?P
                (DeadFn ?CLASS))
            (part ?S ?P)
            (subclass ?CLASS PlantAnatomicalStructure))))		 Economy.kif 4698-4705 If X is an instance of spice, then there exist Y, Z such that Y is an instance of a dead Z, X is a part of Y, and Z is a subclass of plant anatomical structure
(=>
    (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 X and Object made from Y, X is a subclass of oil from plant, and Y is a subclass of seed or Y is a subclass of fruit, then there exists Z such that Z is a subclass of flowering plant and every Y is initially part of a Z
(=>
    (equal ?P
        (PlantFn WineGrape))
    (subclass ?P GrapeVine))		 Economy.kif 5067-5070 If equal X and plant fn wine grape, then X is a subclass of grape vine
(=>
    (and
        (equal ?M
            (OrganicObjectFn ?A))
        (subclass ?M Meat))
    (subclass ?A Animal))		 Economy.kif 5280-5285 If equal X and Object made from Y and X is a subclass of meat, then Y is a subclass of animal

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(exists (?T)
    (and
        (subclass ?T HandToolBox)
        (manufacturer ?T SortimoCorp)))		 Cars.kif 5187-5190 There exists X such that X is a subclass of tool box and the maker of X is Sortimo Corporation
(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 the fit for military service male of X and the number of instances in the class described by Y

appearance as argument number 0
-------------------------


(subclass HeadBone Bone) Anatomy.kif 52-52 Head bone is a subclass of bone
(subclass CranialBone HeadBone) Anatomy.kif 57-57 Cranial bone is a subclass of head bone
(subclass FrontalBone CranialBone) Anatomy.kif 61-61 Frontal bone is a subclass of cranial bone
(subclass LeftParietalBone CranialBone) Anatomy.kif 65-65 Left parietal bone is a subclass of cranial bone
(subclass RightParietalBone CranialBone) Anatomy.kif 69-69 Right parietal bone is a subclass of cranial bone
(subclass TemporalBone CranialBone) Anatomy.kif 73-73 Temporal bone is a subclass of cranial bone
(subclass LeftTemporalBone TemporalBone) Anatomy.kif 77-77 Left temporal bone is a subclass of temporal bone
(subclass RightTemporalBone TemporalBone) Anatomy.kif 81-81 Right temporal bone is a subclass of temporal bone
(subclass OccipitalBone CranialBone) Anatomy.kif 85-85 Occipital bone is a subclass of cranial bone
(subclass SphenoidBone CranialBone) Anatomy.kif 91-91 Sphenoid bone is a subclass of cranial bone
(subclass EthmoidBone CranialBone) Anatomy.kif 95-95 Ethmoid bone is a subclass of cranial bone
(subclass FacialBone HeadBone) Anatomy.kif 99-99 Facial bone is a subclass of head bone
(subclass ZygomaticBone FacialBone) Anatomy.kif 103-103 Zygomatic bone is a subclass of facial bone
(subclass LeftZygomaticBone ZygomaticBone) Anatomy.kif 106-106 Left zygomatic bone is a subclass of zygomatic bone
(subclass RightZygomaticBone ZygomaticBone) Anatomy.kif 110-110 Right zygomatic bone is a subclass of zygomatic bone
(subclass MaxillaBone FacialBone) Anatomy.kif 114-114 Maxilla bone is a subclass of facial bone
(subclass LeftMaxillaBone MaxillaBone) Anatomy.kif 117-117 Left maxilla bone is a subclass of maxilla bone
(subclass RightMaxillaBone MaxillaBone) Anatomy.kif 121-121 Right maxilla bone is a subclass of maxilla bone
(subclass NasalBone FacialBone) Anatomy.kif 125-125 Nasal bone is a subclass of facial bone
(subclass LeftNasalBone NasalBone) Anatomy.kif 127-127 Left nasal bone is a subclass of nasal bone
(subclass RightNasalBone NasalBone) Anatomy.kif 131-131 Right nasal bone is a subclass of nasal bone
(subclass Mandible FacialBone) Anatomy.kif 135-135 Mandible is a subclass of facial bone
(subclass PalatineBone FacialBone) Anatomy.kif 142-142 Palatine bone is a subclass of facial bone
(subclass LeftPalatineBone PalatineBone) Anatomy.kif 144-144 Left palatine bone is a subclass of palatine bone
(subclass RightPalatineBone PalatineBone) Anatomy.kif 148-148 Right palatine bone is a subclass of palatine bone

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