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 123-123 subclass is an instance of binary predicate
(instance subclass PartialOrderingRelation) Merge.kif 124-124 subclass is an instance of partial ordering relation
(domain subclass 1 Class) Merge.kif 125-125 The number 1 argument of subclass is an instance of class
(domain subclass 2 Class) Merge.kif 126-126 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 127-127 The number 2 argument of subclass is an instance of class
(instance subclass ClosedWorldPredicate) Merge.kif 17111-17111 subclass is an instance of closed world predicate

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


(subrelation subField subclass) Mid-level-ontology.kif 23513-23513 subField is a subrelation of subclass
(format EnglishLanguage subclass "%1 is %n a subclass of %2") english_format.kif 324-324 subField is a subrelation of subclass

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


(=>
    (and
        (subclass ?X ?Y)
        (instance ?Z ?X))
    (instance ?Z ?Y))		 Merge.kif 129-133 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 181-186 If X is a subrelation of Y, Y is an instance of Z, and Z is a subclass of InheritableRelation, then X is an instance of Z
(=>
    (and
        (subclass ?OBJECTTYPE Substance)
        (instance ?OBJECT ?OBJECTTYPE)
        (piece ?PART ?OBJECT))
    (instance ?PART ?OBJECTTYPE))		 Merge.kif 990-995 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 3399-3405 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 12990-13002 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) barometricPressure X and Z InchMercury(s) (4) 29.92 is greater than Z (5) boilingPoint Y and W KelvinDegree(s) (6) the measure of X is V KelvinDegree(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 13004-13016 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) boilingPoint Y and Z KelvinDegree(s) (4) meltingPoint Y and W KelvinDegree(s) (5) the measure of X is V KelvinDegree(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 13018-13030 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) meltingPoint Y and Z KelvinDegree(s) (4) barometricPressure X and W InchMercury(s) (5) W is greater than 29.92 (6) the measure of X is V KelvinDegree(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 14201-14221 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)
        (containsFormula ?TEXT ?CONTENT))
    (believes ?AGENT ?CONTENT))		 Merge.kif 14388-14394 If X is an instance of Y, Y is a subclass of FactualText, Z is the author of Y, and X contains the formula W, then Z believes W
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FictionalText)
        (authors ?AGENT ?CLASS))
    (exists (?FORM)
        (and
            (containsFormula ?TEXT ?FORM)
            (not
                (believes ?AGENT ?FORM)))))		 Merge.kif 14417-14426 If X is an instance of Y, Y is a subclass of FictionalText, and Z is the author of Y, then there exists W such that X contains the formula W and Z doesn't believe W
(=>
    (and
        (parent ?CHILD ?PARENT)
        (subclass ?CLASS Organism)
        (instance ?PARENT ?CLASS))
    (instance ?CHILD ?CLASS))		 Merge.kif 15296-15301 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 OrganismRemains (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 DeadFn W
(=>
    (and
        (subclass ?P Process)
        (instance ?S
            (StartFn ?P)))
    (exists (?I)
        (and
            (instance ?I ?P)
            (starts
                (WhenFn ?S)
                (WhenFn ?I)))))		 Mid-level-ontology.kif 407-417 If X is a subclass of process and Y is an instance of StartFn X, then there exists Z such that Z is an instance of X and the time of existence of Y starts the time of existence of Z
(=>
    (and
        (subclass ?P Process)
        (instance ?S
            (StopFn ?P)))
    (exists (?I)
        (and
            (instance ?I ?P)
            (finishes
                (WhenFn ?S)
                (WhenFn ?I)))))		 Mid-level-ontology.kif 426-436 If X is a subclass of process and Y is an instance of StopFn X, then there exists Z such that Z is an instance of X and the time of existence of Y finishes the time of existence of Z
(=>
    (subclass ?TEAM SportsTeam)
    (exists (?SPORT)
        (and
            (subclass ?SPORT Sport)
            (capability ?SPORT agent ?TEAM))))		 Mid-level-ontology.kif 8772-8777 If X is a subclass of SportsTeam, then there exists Y such that Y is a subclass of sport and X is capable of doing Y as a agent
(=>
    (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 9488-9502 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 11058-11063 If X is a subclass of Antibiotic, then there exists Y such that Y is an instance of BacterialDisease 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 15016-15027 If default minimum measure X and Y Z(s), W is a subclass of NonCompositeUnitOfMeasure, 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 15047-15058 If default maximum measure X and Y Z(s), W is a subclass of NonCompositeUnitOfMeasure, 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 16158-16165 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 16176-16190 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 16343-16352 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 20225-20230 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 23976-23989 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 memberCount U and V
(=>
    (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 25550-25557 If playsRoleInEvent X, Y and Z, Z is an instance of W, W is a subclass of process, Z exists during V, and event located Z and U, then playsRoleInEventOfType X, Y, W, V and U

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 93-101 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 143-153 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 194-200 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 214-220 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 296-302 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 309-314 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 322-328 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 755-757 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 1134-1143 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 1610-1618 If equal X, AttrFn 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 2550-2556 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 2607-2614 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 2987-2991 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 5391-5395 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)
                (modalAttribute
                    (exists (?P)
                        (and
                            (instance ?P ?CLASS)
                            (agent ?P ?AGENT))) Possibility)))))		 Merge.kif 11200-11216 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, the statement there exists U such that U is an instance of V, and Y is an agent of U has the modal force of Possibility
(=>
    (version ?ARTIFACT1 ?ARTIFACT2)
    (subclass ?ARTIFACT1 ?ARTIFACT2))		 Merge.kif 14670-14672 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 CollectionOfObjects)
            (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 1161-1174 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 SphericalObject and approximate diameter Z and 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 1919-1935 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 1937-1953 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 4183-4188 If X is an instance of CurrencyCoin, then there exists Y such that Y is a subclass of metal and X is made of Y
(=>
    (subclass ?TEAM SportsTeam)
    (exists (?SPORT)
        (and
            (subclass ?SPORT Sport)
            (capability ?SPORT agent ?TEAM))))		 Mid-level-ontology.kif 8772-8777 If X is a subclass of SportsTeam, 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 9530-9540 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
        (instance ?ROLE
            (UnionFn OccupationalTrade Profession))
        (holdsDuring ?T1
            (attribute ?HUMAN ?ROLE)))
    (exists (?FIELD)
        (and
            (subclass ?FIELD FieldOfStudy)
            (holdsDuring ?T1
                (hasExpertise ?HUMAN ?FIELD)))))		 Mid-level-ontology.kif 9577-9587 If X is an instance of the union of OccupationalTrade and 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, hasExpertise Y, and W 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)
            (instrument ?K ?TIS)
            (instance ?TIS
                (UnionFn PlantLeaf PlantStem)))))		 Mid-level-ontology.kif 10974-10986 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 an instrument for Z (7) Y is an instance of the union of PlantLeaf (8) PlantStem
(=>
    (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 16538-16546 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 4578-4581 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 981-993 equal FitForMilitaryServiceMaleFn X and the number of instances in the class described by Y

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


(subclass Physical Entity) Merge.kif 759-759 Physical is a subclass of entity
(subclass Object Physical) Merge.kif 771-771 Object is a subclass of physical
(subclass SelfConnectedObject Object) Merge.kif 778-778 Self connected object is a subclass of object
(subclass OrganicThing SelfConnectedObject) Merge.kif 782-782 OrganicThing is a subclass of self connected object
(subclass Meteoroid AstronomicalBody) Merge.kif 901-901 Meteoroid is a subclass of astronomical body
(subclass Meteorite Meteoroid) Merge.kif 906-906 Meteorite is a subclass of Meteoroid
(subclass Volcano LandForm) Merge.kif 909-909 Volcano is a subclass of LandForm
(subclass VolcanicEruption GeologicalProcess) Merge.kif 918-918 VolcanicEruption is a subclass of GeologicalProcess
(subclass Crater HoleRegion) Merge.kif 937-937 Crater is a subclass of hole
(subclass Substance SelfConnectedObject) Merge.kif 984-984 Substance is a subclass of self connected object
(subclass SyntheticSubstance Substance) Merge.kif 1004-1004 SyntheticSubstance is a subclass of substance
(subclass NaturalSubstance Substance) Merge.kif 1016-1016 NaturalSubstance is a subclass of substance
(subclass PureSubstance Substance) Merge.kif 1019-1019 Pure substance is a subclass of substance
(subclass ElementalSubstance PureSubstance) Merge.kif 1024-1024 Elemental substance is a subclass of pure substance
(subclass Metal ElementalSubstance) Merge.kif 1028-1028 Metal is a subclass of elemental substance
(subclass Atom ElementalSubstance) Merge.kif 1032-1032 Atom is a subclass of elemental substance
(subclass SubatomicParticle ElementalSubstance) Merge.kif 1055-1055 Subatomic particle is a subclass of elemental substance
(subclass AtomicNucleus SubatomicParticle) Merge.kif 1066-1066 Atomic nucleus is a subclass of subatomic particle
(subclass Electron SubatomicParticle) Merge.kif 1076-1076 Electron is a subclass of subatomic particle
(subclass Proton SubatomicParticle) Merge.kif 1080-1080 Proton is a subclass of subatomic particle
(subclass Neutron SubatomicParticle) Merge.kif 1084-1084 Neutron is a subclass of subatomic particle
(subclass CompoundSubstance PureSubstance) Merge.kif 1088-1088 Compound substance is a subclass of pure substance
(subclass Mixture Substance) Merge.kif 1091-1091 Mixture is a subclass of substance
(subclass CorpuscularObject SelfConnectedObject) Merge.kif 1130-1130 Corpuscular object is a subclass of self connected object
(subclass Region Object) Merge.kif 1152-1152 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-d6e39019 (2026-08-12) is open source software produced by Articulate Software and its partners