(=>
(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 4012-4018 |
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 14107-14116 |
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 14118-14127 |
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 14129-14138 |
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 15462-15483 |
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 15682-15688 |
If X is an instance of Y, Y is a subclass of factual text, 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 15718-15727 |
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 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 16738-16743 |
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 9564-9578 |
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 11137-11142 |
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 15079-15090 |
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 15110-15121 |
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 16211-16218 |
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 16229-16243 |
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 16396-16405 |
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 20306-20311 |
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 24008-24021 |
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 25578-25585 |
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 25607-25614 |
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 26273-26275 |
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 29284-29287 |
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 |
subclass