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 18757-18757 subclass is an instance of closed world predicate

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


(subrelation subField subclass) Mid-level-ontology.kif 23461-23461 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
        (subclass ?X ?Y)
        (instance ?Z ?X))
    (instance ?Z ?Y))		 Merge.kif 137-141 If X is a subclass of Y and Z is an instance of X, then Z is an instance of Y
(=>
    (and
        (subrelation ?PRED1 ?PRED2)
        (instance ?PRED2 ?CLASS)
        (subclass ?CLASS InheritableRelation))
    (instance ?PRED1 ?CLASS))		 Merge.kif 194-199 If X is a subrelation of Y, Y is an instance of Z, and Z is a subclass of inheritable relation, then X is an instance of Z
(=>
    (and
        (subclass ?OBJECTTYPE Substance)
        (instance ?OBJECT ?OBJECTTYPE)
        (piece ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))		 Merge.kif 1126-1131 If X is a subclass of substance, Y is an instance of X, and Z is a piece of Y, then Z is an instance of X
(=>
    (and
        (instance ?ROLE CaseRole)
        (?ROLE ?ARG1 ?ARG2)
        (instance ?ARG1 ?PROC)
        (subclass ?PROC Process))
    (capability ?PROC ?ROLE ?ARG2))		 Merge.kif 3988-3994 If X is an instance of case role, X Y and Z, Y is an instance of W, and W is a subclass of process, then Z is capable of doing W as a X
(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (barometricPressure ?X
            (MeasureFn ?PRES InchMercury))
        (greaterThan 29.92 ?PRES)
        (boilingPoint ?Y
            (MeasureFn ?BOIL KelvinDegree))
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (greaterThan ?TEMP ?BOIL))
    (attribute ?X Gas))		 Merge.kif 14037-14046 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z inch mercury(s) is a barometric pressure of X (4) 29.92 is greater than Z (5) W kelvin degree(s) is a boiling point of Y (6) the measure of X is V kelvin degree(s) (7) V is greater than W, then gas is an attribute of X
(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (boilingPoint ?Y
            (MeasureFn ?BOIL KelvinDegree))
        (meltingPoint ?Y
            (MeasureFn ?MELT KelvinDegree))
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (greaterThan ?TEMP ?MELT)
        (lessThan ?TEMP ?BOIL))
    (attribute ?X Liquid))		 Merge.kif 14048-14057 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z kelvin degree(s) is a boiling point of Y (4) W kelvin degree(s) is a melting point of Y (5) the measure of X is V kelvin degree(s) (6) V is greater than W (7) V is less than Z, then liquid is an attribute of X
(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (meltingPoint ?Y
            (MeasureFn ?MELT KelvinDegree))
        (barometricPressure ?X
            (MeasureFn ?PRES InchMercury))
        (greaterThan ?PRES 29.92)
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (lessThan ?TEMP ?MELT))
    (attribute ?X Solid))		 Merge.kif 14059-14068 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z kelvin degree(s) is a melting point of Y (4) W inch mercury(s) is a barometric pressure of X (5) W is greater than 29.92 (6) the measure of X is V kelvin degree(s) (7) V is less than Z, then solid is an attribute of X
(=>
    (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 15392-15413 If All of the following hold: (1) X is a subclass of tissue (2) Y is a subclass of tissue (3) Z is an instance of X (4) W is an instance of Y (5) V is an instance of human (6) Z is a part of V (7) W is a part of V (8) equal X and Y (9) X is not a subclass of Y (10) Y is not a subclass of X (11) Z is adjacent to W, then the statement there exists U such that U is an instance of connective tissue, U is between Z, and W has the modal force of likely
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FactualText)
        (authors ?AGENT ?CLASS)
        (subsumesContentInstance ?TEXT ?CONTENT)
        (instance ?CONTENT Formula))
    (believes ?AGENT ?CONTENT))		 Merge.kif 15622-15629 If X is an instance of Y, Y is a subclass of factual text, Z is the author of Y, X subsumes the content of W, and W is an instance of formula, then Z believes W
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FictionalText)
        (authors ?AGENT ?CLASS))
    (exists (?CONTENT)
        (and
            (subsumesContentInstance ?TEXT ?CONTENT)
            (instance ?CONTENT Formula)
            (not
                (believes ?AGENT ?CONTENT)))))		 Merge.kif 15659-15668 If X is an instance of Y, Y is a subclass of fictional text, and Z is the author of Y, then there exists W such that X subsumes the content of W, W is an instance of formula, and Z doesn't believe W
(=>
    (and
        (parent ?CHILD ?PARENT)
        (subclass ?CLASS Organism)
        (instance ?PARENT ?CLASS))
    (instance ?CHILD ?CLASS))		 Merge.kif 16678-16683 If X is a parent of Y, Z is a subclass of organism, and X is an instance of Z, then Y is an instance of Z
(=>
    (and
        (instance ?REM OrganismRemains)
        (instance ?DEATH Death)
        (experiencer ?DEATH ?ORG)
        (instance ?ORG ?ORGTYPE)
        (subclass ?ORGTYPE OrganicObject)
        (result ?DEATH ?REM))
    (instance ?REM
        (DeadFn ?ORGTYPE)))		 Mid-level-ontology.kif 109-117 If All of the following hold: (1) X is an instance of organism remains (2) Y is an instance of death (3) Z experiences Y (4) Z is an instance of W (5) W is a subclass of organic object (6) X is a result of Y, then X is an instance of a dead W
(=>
    (and
        (instance ?R RecreationOrExercise)
        (instrument ?R ?RM)
        (instance ?RM RowingMachine)
        (experiencer ?R ?H)
        (instance ?ROW Rowing)
        (subProcess ?RMOT ?R)
        (subclass ?C BodyMotion)
        (instance ?RMOT ?C))
    (exists (?ROWMOT)
        (and
            (instance ?ROWMOT ?C)
            (subProcess ?ROWMOT ?R)
            (agent ?ROWMOT ?H))))		 Mid-level-ontology.kif 9496-9510 If All of the following hold: (1) X is an instance of recreation or exercise (2) Y is an instrument for X (3) Y is an instance of ergometer (4) Z experiences X (5) W is an instance of rowing (6) V is a subprocess of X (7) U is a subclass of body motion (8) V is an instance of U, then there exists T such that T is an instance of U, T is a subprocess of X, and Z is an agent of T
(=>
    (subclass ?A Antibiotic)
    (exists (?D)
        (and
            (instance ?D BacterialDisease)
            (medicine ?A ?D))))		 Mid-level-ontology.kif 11070-11075 If X is a subclass of antibiotic, then there exists Y such that Y is an instance of bacterial disease and X is medicine for Y
(=>
    (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 15006-15017 If the minimum expected value of X is Y Z(s), W is a subclass of non composite unit of measure, and Z is an instance of W, then the statement there exist V, U and T such that V is an instance of X and the measure of V is U T(s) and T is an instance of W and U is less than Y has the modal force of unlikely
(=>
    (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 15037-15048 If the maximum expected value of X is Y Z(s), W is a subclass of non composite unit of measure, and Z is an instance of W, then the statement there exist V, U and T such that V is an instance of X and the measure of V is U T(s) and T is an instance of W and U T(s) is greater than Y Z(s) has the modal force of unlikely
(=>
    (and
        (subclass ?PROGRAM NewsProgram)
        (instance ?EPISODE
            (SeriesVolumeFn ?PROGRAM ?NUMBER)))
    (exists (?DISSEMINATE)
        (and
            (instance ?DISSEMINATE Disseminating)
            (patient ?DISSEMINATE ?EPISODE))))		 Mid-level-ontology.kif 16128-16135 If X is a subclass of newsprogram and Y is an instance of volume Z in the series X, then there exists W such that W is an instance of disseminating and Y is a patient of W
(=>
    (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 16146-16160 If All of the following hold: (1) X is a subclass of periodical (2) equal volume Y in the series X and Z (3) equal volume W in the series X and V (4) W is greater than Y (5) U is an instance of publication (6) T is an instance of publication (7) S is an instance of Z (8) R is an instance of V (9) S is a patient of U (10) R is a patient of T (11) date of U is Q (12) date of T is P, then the end of Q happens before the end of P
(=>
    (and
        (subclass ?PAPER Newspaper)
        (instance ?WEEK Week))
    (exists (?PUBLICATION ?ISSUE)
        (and
            (instance ?PUBLICATION Publication)
            (temporalPart
                (WhenFn ?PUBLICATION) ?WEEK)
            (result ?PUBLICATION ?ISSUE)
            (instance ?ISSUE ?PAPER))))		 Mid-level-ontology.kif 16313-16322 If X is a subclass of newspaper and Y is an instance of week, then there exist Z, W such that Z is an instance of publication, the time of existence of Z is a part of Y, W is a result of Z, and W is an instance of X
(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process)
        (subOrganization ?DEP ?COMP))
    (inhibits ?DEP ?PHYS))		 Mid-level-ontology.kif 20223-20228 If equal X and Y is preventing Z, Z is a subclass of process, and X is a part of the organization Y, then X inhibits Z
(=>
    (and
        (instance ?CS1 ?CLASS)
        (subclass ?CLASS CompoundSubstance)
        (not
            (and
                (instance ?CS2 ?CLASS)
                (part ?CS2 ?CS1)))
        (molecularRatio ?ECLASS ?N ?CLASS)
        (instance ?G Group)
        (member ?E ?G)
        (part ?E ?CS1)
        (instance ?E ?ECLASS))
    (memberCount ?G ?N))		 Mid-level-ontology.kif 23925-23938 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of compound substance (3) ~{ Z is an instance of Y } or ~{ Z is a part of X } (4) the number of molecules of W in a molecule of Y is V (5) U is an instance of group (6) T is a member of U (7) T is a part of X (8) T is an instance of W, then V is a member count of U
(=>
    (and
        (playsRoleInEvent ?OBJ ?ROLE ?EVENT)
        (instance ?EVENT ?CLASS)
        (subclass ?CLASS Process)
        (time ?EVENT ?TIME)
        (eventLocated ?EVENT ?PLACE))
    (playsRoleInEventOfType ?OBJ ?ROLE ?CLASS ?TIME ?PLACE))		 Mid-level-ontology.kif 25495-25502 If X plays role in event Y for Z, Z is an instance of W, W is a subclass of process, Z exists during V, and Z is located at U, then X plays role in event of type Y for W with V and U
(=>
    (and
        (playsRoleInEvent ?OBJ ?ROLE ?EVENT)
        (instance ?EVENT ?TYPE)
        (subclass ?TYPE Process)
        (time ?EVENT ?TIME)
        (eventLocated ?EVENT ?PLACE))
    (playsRoleInEventOfType ?OBJ ?ROLE ?TYPE ?TIME ?PLACE))		 Mid-level-ontology.kif 25524-25531 If X plays role in event Y for Z, Z is an instance of W, W is a subclass of process, Z exists during V, and Z is located at U, then X plays role in event of type Y for W with V and U
(=>
    (subclass ?F Fertilisation)
    (capability ?F patient Organism))		 Mid-level-ontology.kif 26190-26192 If X is a subclass of conceiving, then organism is capable of doing X as a patient
(=>
    (subclass ?X UniformClothing)
    (exists (?GRP)
        (hasUniform ?GRP ?X)))		 Mid-level-ontology.kif 29201-29204 If X is a subclass of uniform, then there exists Y such that Y has uniform X

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (immediateInstance ?ENTITY ?CLASS)
    (not
        (exists (?SUBCLASS)
            (and
                (subclass ?SUBCLASS ?CLASS)
                (not
                    (equal ?SUBCLASS ?CLASS))
                (instance ?ENTITY ?SUBCLASS)))))		 Merge.kif 98-104 If X is an immediate instance of Y, then there doesn't exist Z such that Z is a subclass of Y, equal Z, Y, and X is an instance of Z
(=>
    (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 X is an immediate subclass of Y, then there doesn't exist Z such that Z is a subclass of Y, X is a subclass of Z, equal Y, Z, equal X, and Z
(=>
    (and
        (domain ?REL ?NUMBER ?CLASS1)
        (domain ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 215-221 If the number X argument of Y is an instance of Z and the number X argument of Y is an instance of W, then Z is a subclass of W or W is a subclass of Z
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS1)
        (domainSubclass ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 238-244 If the number X argument of Y is a subclass of Z and the number X argument of Y is a subclass of W, then Z is a subclass of W or W is a subclass of Z
(=>
    (and
        (range ?REL ?CLASS1)
        (range ?REL ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 317-323 If the range of X is an instance of Y and the range of X is an instance of Z, then Y is a subclass of Z or Z is a subclass of Y
(=>
    (and
        (rangeSubclass ?FUNCTION ?CLASS)
        (equal
            (AssignmentFn ?FUNCTION @ROW) ?VALUE))
    (subclass ?VALUE ?CLASS))		 Merge.kif 331-335 If the values returned by X are subclasses of Y and equal X(@ROW) and W, then W is a subclass of Y
(=>
    (and
        (rangeSubclass ?REL ?CLASS1)
        (rangeSubclass ?REL ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))		 Merge.kif 343-349 If the values returned by X are subclasses of Y and the values returned by X are subclasses of Z, then Y is a subclass of Z or Z is a subclass of Y
(=>
    (instance ?CLASS Class)
    (subclass ?CLASS Entity))		 Merge.kif 820-822 If X is an instance of class, then X is a subclass of entity
(=>
    (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 1304-1312 If X is an instance of corpuscular object, then All of the following hold: (1) there exist Y (2) Z such that Y is a subclass of substance (3) Z is a subclass of substance (4) X is made of Y (5) X is made of Z (6) equal Y (7) Z
(=>
    (and
        (equal ?X
            (AttrFn ?CLASS ?ATTR))
        (instance ?I ?X))
    (and
        (instance ?I ?CLASS)
        (subclass ?X ?CLASS)
        (attribute ?I ?ATTR)))		 Merge.kif 1847-1855 If equal X, the attr of Y, and Z and W is an instance of X, then W is an instance of Y, X is a subclass of Y, and Z is an attribute of W
(=>
    (disjointDecomposition ?CLASS @ROW)
    (forall (?ITEM)
        (=>
            (inList ?ITEM
                (ListFn @ROW))
            (subclass ?ITEM ?CLASS))))		 Merge.kif 3037-3042 If X is disjointly decomposed into @ROW, then For all Class Z: if Z is a member of (@ROW), then Z is a subclass of X
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (subclass
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))		 Merge.kif 3092-3097 If the number X argument of Y is a subclass of Z, Y is an instance of predicate, and Y @ROW, then V element of (@ROW) is a subclass of Z
(=>
    (and
        (instance ?SEQ SequenceFunction)
        (range ?SEQ ?CLASS))
    (subclass ?CLASS Integer))		 Merge.kif 3481-3485 If X is an instance of sequence function and the range of X is an instance of Y, then Y is a subclass of integer
(=>
    (instance ?GRAPH Graph)
    (subclass
        (MinimalCutSetFn ?GRAPH)
        (CutSetFn ?GRAPH)))		 Merge.kif 6171-6173 If X is an instance of graph, then the set of minimal paths that partition X into two separate graphs is a subclass of the set of paths that partition X into two separate graphs
(=>
    (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 12249-12261 If X is an instance of deciding, Y is an agent of X, Z is an instance of set, Z is a patient of X, and W is an element of Z, then Y believes there exists V such that W is an instance of V, V is a subclass of intentional process, and Y is capable of doing V as a agent
(=>
    (version ?ARTIFACT1 ?ARTIFACT2)
    (subclass ?ARTIFACT1 ?ARTIFACT2))		 Merge.kif 15937-15939 If X is a version of Y, then X is a subclass of Y
(=>
    (instance ?SHOT FirearmShot)
    (exists (?C ?P ?CLASS ?X)
        (and
            (instance ?C Collection)
            (member ?P ?C)
            (instance ?P ?CLASS)
            (subclass ?CLASS SphericalObject)
            (approximateDiameter ?P
                (MeasureFn ?X Millimeter))
            (modalAttribute
                (and
                    (material ?CLASS Lead)
                    (lessThan ?X 10)) Likely))))		 Mid-level-ontology.kif 1146-1159 If X is an instance of firearm shot, then there exist Y, Z,, , W and V such that Y is an instance of collection and Z is a member of Y and Z is an instance of W and W is a subclass of spherical object and the approximate diameter of Z is V millimeter(s) and the statement lead is made of W and V is less than 10 has the modal force of likely
(=>
    (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 1866-1882 If X is an instance of firearm, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of human (3) Z is a subclass of carrying (4) W is an instance of Z (5) the object transferred in W is X (6) Y is capable of doing Z as a instrument (7) there doesn't exist V such that V is an instance of human (8) equal Y (9) V (10) V is an instrument for W
(=>
    (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 1884-1900 If X is an instance of firearm, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of human (3) Z is a subclass of shooting (4) W is an instance of Z (5) the object transferred in W is X (6) Y is capable of doing Z as a agent (7) there doesn't exist V such that V is an instance of human (8) equal Y (9) V (10) V is an agent of W
(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))		 Mid-level-ontology.kif 4188-4193 If X is an instance of coin, then there exists Y such that Y is a subclass of metal and X is made of Y
(=>
    (instance ?TEAM SportsTeam)
    (exists (?SPORT)
        (and
            (subclass ?SPORT Sport)
            (capability ?SPORT agent ?TEAM))))		 Mid-level-ontology.kif 8781-8786 If X is an instance of sports team, then there exists Y such that Y is a subclass of sport and X is capable of doing Y as a agent
(=>
    (attribute ?HUMAN
        (ProfessionalFn ?SOCIALROLE))
    (exists (?WORK ?PROC ?CLASS)
        (and
            (instance ?WORK Working)
            (agent ?WORK ?HUMAN)
            (subProcess ?PROC ?WORK)
            (instance ?PROC ?CLASS)
            (subclass ?CLASS IntentionalProcess)
            (hasSkillInRole ?CLASS ?SOCIALROLE ?HUMAN))))		 Mid-level-ontology.kif 9538-9548 If profession X is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of working (3) Y is an agent of Z (4) W is a subprocess of Z (5) W is an instance of V (6) V is a subclass of intentional process (7) Y has the skill to do V in their role as X
(=>
    (and
        (or
            (instance ?ROLE OccupationalTrade)
            (instance ?ROLE Profession))
        (holdsDuring ?T1
            (attribute ?HUMAN ?ROLE)))
    (exists (?FIELD)
        (and
            (subclass ?FIELD FieldOfStudy)
            (holdsDuring ?T1
                (hasExpertise ?HUMAN ?FIELD)))))		 Mid-level-ontology.kif 9585-9594 If X is an instance of occupational trade or X is an instance of profession and X is an attribute of Y holds during Z, then there exists W such that W is a subclass of field of study and W has an expertise in Y holds during Z
(=>
    (and
        (instance ?P Plant)
        (part ?TIS ?P))
    (exists (?K ?W ?CLASS)
        (and
            (instance ?K ?CLASS)
            (subclass ?CLASS Keeping)
            (instance ?W FreshWater)
            (patient ?K ?W)
            (capability ?CLASS instrument ?TIS)
            (or
                (instance ?TIS PlantLeaf)
                (instance ?TIS PlantStem)))))		 Mid-level-ontology.kif 10985-10998 If X is an instance of plant and Y is a part of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of V (3) V is a subclass of keeping (4) W is an instance of freshwater (5) W is a patient of Z (6) Y is capable of doing V as a instrument (7) Y is an instance of plant leaf or Y is an instance of plant stem
(=>
    (instance ?INDUSTRY Industry)
    (exists (?MEMB1 ?MEMB2 ?CLASS)
        (and
            (member ?MEMB1 ?INDUSTRY)
            (member ?MEMB2 ?INDUSTRY)
            (subclass ?CLASS Corporation)
            (immediateInstance ?MEMB1 ?CLASS)
            (immediateInstance ?MEMB2 ?CLASS))))		 Mid-level-ontology.kif 16508-16516 If X is an instance of industry, then there exist Y, Z, W such that Y is a member of X, Z is a member of X, W is a subclass of corporation, Y is an immediate instance of W, and Z is an immediate instance of W

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 5001-5004 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 1159-1170 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 Physical Entity) Merge.kif 824-824 Physical is a subclass of entity
(subclass Object Physical) Merge.kif 838-838 Object is a subclass of physical
(subclass SelfConnectedObject Object) Merge.kif 854-854 Self connected object is a subclass of object
(subclass OrganicThing SelfConnectedObject) Merge.kif 859-859 Organic thing is a subclass of self connected object
(subclass Meteoroid AstronomicalBody) Merge.kif 1014-1014 Meteoroid is a subclass of astronomical body
(subclass Meteorite Meteoroid) Merge.kif 1021-1021 Meteorite is a subclass of meteoroid
(subclass Volcano LandForm) Merge.kif 1025-1025 Volcano is a subclass of land form
(subclass VolcanicEruption GeologicalProcess) Merge.kif 1037-1037 Volcanic eruption is a subclass of geological process
(subclass Crater HoleRegion) Merge.kif 1057-1057 Crater is a subclass of hole
(subclass Substance SelfConnectedObject) Merge.kif 1114-1114 Substance is a subclass of self connected object
(subclass SyntheticSubstance Substance) Merge.kif 1140-1140 Synthetic substance is a subclass of substance
(subclass NaturalSubstance Substance) Merge.kif 1153-1153 Natural substance is a subclass of substance
(subclass PureSubstance Substance) Merge.kif 1157-1157 Pure substance is a subclass of substance
(subclass ElementalSubstance PureSubstance) Merge.kif 1166-1166 Elemental substance is a subclass of pure substance
(subclass Metal ElementalSubstance) Merge.kif 1174-1174 Metal is a subclass of elemental substance
(subclass Atom ElementalSubstance) Merge.kif 1181-1181 Atom is a subclass of elemental substance
(subclass SubatomicParticle ElementalSubstance) Merge.kif 1206-1206 Subatomic particle is a subclass of elemental substance
(subclass AtomicNucleus SubatomicParticle) Merge.kif 1218-1218 Atomic nucleus is a subclass of subatomic particle
(subclass Electron SubatomicParticle) Merge.kif 1231-1231 Electron is a subclass of subatomic particle
(subclass Proton SubatomicParticle) Merge.kif 1236-1236 Proton is a subclass of subatomic particle
(subclass Neutron SubatomicParticle) Merge.kif 1241-1241 Neutron is a subclass of subatomic particle
(subclass CompoundSubstance PureSubstance) Merge.kif 1246-1246 Compound substance is a subclass of pure substance
(subclass Mixture Substance) Merge.kif 1255-1255 Mixture is a subclass of substance
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1299-1299 Corpuscular object is a subclass of self connected object
(subclass Region Object) Merge.kif 1324-1324 Region is a subclass of object

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.0-f38d91f4 (2026-04-13) is open source software produced by Articulate Software and its partners