| Object(object)
|
| appearance as argument number 1 |
|
| (subclass Object Physical) | Merge.kif 839-839 | Object is a subclass of physical |
| (documentation Object EnglishLanguage "Corresponds roughly to the class of ordinary objects. Examples include normal physical objects, geographical regions, and locations of Processes, the complement of Objects in the Physical class. In a 4D ontology, an Object is something whose spatiotemporal extent is thought of as dividing into spatial parts roughly parallel to the time-axis.") | Merge.kif 840-845 | Object is a subclass of physical |
| (externalImage Object "http://upload.wikimedia.org/wikipedia/en/thumb/e/ ee/ Elaborate_wood_box_Tom_Tanaka.JPG/ 180px_Elaborate_wood_box_Tom_Tanaka.JPG") | pictureList.kif 1204-1204 | Object is a subclass of physical |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (instance ?O Object) (capability Translocation origin ?O)) |
Merge.kif 847-849 | If X is an instance of object, then X is capable of doing translocation as a origin |
| (=> (instance ?O Object) (capability Translocation destination ?O)) |
Merge.kif 851-853 | If X is an instance of object, then X is capable of doing translocation as a destination |
| (=> (and (wants ?AGENT ?OBJ) (instance ?OBJ Object)) (desires ?AGENT (possesses ?AGENT ?OBJ))) |
Merge.kif 2812-2817 | If X wants Y and Y is an instance of object, then X desires X possesses Y |
| (=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 4098-4102 | If X is an instance of object and X is partly located in Y, then X and Y overlapsSpatially |
| (=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (exists (?SUB) (and (part ?SUB ?OBJ1) (located ?SUB ?OBJ2)))) |
Merge.kif 4104-4111 | If X is an instance of object and X is partly located in Y, then there exists Z such that Z is a part of X and Z is located at Y |
| (=> (instance ?OBJ Object) (exists (?TIME1 ?TIME2) (and (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint) (before ?TIME1 ?TIME2) (forall (?TIME) (=> (and (beforeOrEqual ?TIME1 ?TIME) (beforeOrEqual ?TIME ?TIME2)) (time ?OBJ ?TIME)))))) |
Merge.kif 8243-8255 | If X is an instance of object, then there exist Y, Z such that Y is an instance of time point, Z is an instance of time point, Y happens before Z, W Y happens before, at W, and W happens before, or at ZX exists during W |
| (=> (and (instance ?REL CaseRole) (instance ?OBJ Object) (?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ))) |
Merge.kif 9757-9763 | If X is an instance of case role, Y is an instance of object, and X Z and Y, then there exists W such that the place where Z was at W and Y overlapsSpatially |
| (=> (instance ?OBJ Object) (or (attribute ?OBJ Monochromatic) (attribute ?OBJ Polychromatic))) |
Merge.kif 17902-17906 | If X is an instance of object, then monochromatic is an attribute of X or polychromatic is an attribute of X |
| (=> (and (instance ?OBJ Object) (attribute ?OBJ Pliable)) (exists (?CHANGE) (and (instance ?CHANGE ShapeChange) (patient ?CHANGE ?OBJ)))) |
Merge.kif 17949-17956 | If X is an instance of object and pliable is an attribute of X, then there exists Y such that Y is an instance of shape change and X is a patient of Y |
| (=> (and (instance ?L1 Object) (attribute ?L1 LongAndThin) (instance ?L2 Object) (attribute ?L2 LongAndThin) (connected ?L1 ?L2) (not (equal ?L1 ?L2))) (exists (?M) (relativeAngle ?L1 ?L2 ?M))) |
Merge.kif 18085-18095 | If All of the following hold: (1) X is an instance of object (2) long and thin is an attribute of X (3) Y is an instance of object (4) long and thin is an attribute of Y (5) X is connected to Y (6) equal X and Y, then there exists Z such that the relative angle between X and Y is Z |
| (=> (and (instance ?SALE BargainSale) (patient ?SALE ?OBJ) (instance ?OBJ Object)) (exists (?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U) (and (instance ?U UnitOfCurrency) (holdsDuring (ImmediatePastFn (WhenFn ?SALE)) (price ?OBJ (MeasureFn ?PRICE1 ?U) ?AGENT1)) (holdsDuring (WhenFn ?SALE) (price ?OBJ (MeasureFn ?PRICE2 ?U) ?AGENT2)) (lessThan ?PRICE2 ?PRICE1)))) |
Mid-level-ontology.kif 9055-9069 | If X is an instance of bargain sale, Y is a patient of X, and Y is an instance of object, then there exist Z, W,, , V,, , U and T such that T is an instance of unit of currency and Y is price Z T(s) for V holds during immediately before the time of existence of X and Y is price W T(s) for U holds during the time of existence of X and W is less than Z |
| (=> (and (instance ?R CentrifugalMotion) (instance ?O Object) (moves ?R ?O) (instance ?A Object) (located ?A ?O)) (modalAttribute (exists (?M) (and (instance ?M MovingAwayFrom) (changesLocation ?M ?A) (origin ?M ?O) (causes ?R ?M))) Likely)) |
Mid-level-ontology.kif 19385-19398 | If X is an instance of centrifugal motion, Y is an instance of object, Y moves during X, Z is an instance of object, and Z is located at Y, then the statement there exists W such that W is an instance of moving away from, Z is a changes location of W, W originates at Y, and X causes W has the modal force of likely |
| (=> (and (instance ?SAW Saw) (instance ?CUT Cutting) (instrument ?CUT ?SAW) (instance ?OBJ Object) (patient ?CUT ?OBJ)) (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART) (and (instance ?MOTION Motion) (subProcess ?MOTION ?CUT) (instance ?PART CuttingDevice) (part ?PART ?SAW) (meetsSpatially ?PART ?OBJ) (patient ?MOTION ?PART) (instance ?T2 TimeInterval) (instance ?T2 TimeInterval) (equal (WhenFn ?MOTION) ?TIME) (temporalPart ?TIME ?T1) (temporalPart ?TIME ?T2) (instance ?DIR1 DirectionalAttribute) (instance ?DIR2 DirectionalAttribute) (=> (holdsDuring ?T1 (direction ?MOTION ?DIR1)) (holdsDuring ?T2 (and (direction ?MOTION ?DIR2) (or (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2)) (not (and (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2))))))))) |
Mid-level-ontology.kif 20060-20094 | If X is an instance of saw, Y is an instance of cutting, X is an instrument for Y, Z is an instance of object, and Z is a patient of Y, then there exist W, V,, , U,, , T,, , S,, , R and Q such that W is an instance of motion and W is a subprocess of Y and Q is an instance of cutting device and Q is a part of X and Q meets Z and Q is a patient of W and R is an instance of timeframe and R is an instance of timeframe and equal the time of existence of W and T and T is a part of S and T is a part of R and V is an instance of directional attribute and U is an instance of directional attribute and entities in the process W are moving V holds during Sentities in the process W are moving U and equal V and U or U is an opposite direction of V and ~{ equal V and U } or ~{ U is an opposite direction of V } holds during R |
| (=> (and (instance ?INHERIT Inheriting) (agent ?INHERIT ?HEIR) (instance ?HEIR Human) (origin ?INHERIT ?PERSON) (instance ?PERSON Human) (patient ?INHERIT ?PROPERTY) (instance ?PROPERTY Object)) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?PERSON) (earlier (WhenFn ?DEATH) (WhenFn ?INHERIT)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (possesses ?PERSON ?PROPERTY)) (confersRight ?PERSON ?HEIR (possesses ?HEIR ?PROPERTY))))) |
Mid-level-ontology.kif 20552-20573 | If All of the following hold: (1) X is an instance of inheriting (2) Y is an agent of X (3) Y is an instance of human (4) X originates at Z (5) Z is an instance of human (6) W is a patient of X (7) W is an instance of object, then there exists V such that V is an instance of death, Z experiences V, the time of existence of V happens earlier than the time of existence of X, Z possesses W holds during immediately before the time of existence of V, and Y allows Y possesses W to perform task of the type Z |
| (=> (and (instance ?O Object) (instance ?OPEN Opening) (patient ?OPEN ?O)) (holdsDuring (ImmediateFutureFn (WhenFn ?OPEN)) (attribute ?O Open))) |
Mid-level-ontology.kif 23834-23840 | If X is an instance of object, Y is an instance of opening, and X is a patient of Y, then open is an attribute of X holds during immediately after the time of existence of Y |
| (=> (and (instance ?O Object) (equal ?O (HoleHostFn ?H)) (holdsDuring ?T (attribute ?O Open))) (holdsDuring ?T (modalAttribute (exists (?MOVE ?THING) (and (instance ?MOVE Transfer) (objectTransferred ?MOVE ?THING) (destination ?MOVE ?H))) Possibility))) |
Mid-level-ontology.kif 23867-23880 | If X is an instance of object, equal X and the host of the hole Y, and open is an attribute of X holds during Z, then the statement there exist W, V such that W is an instance of transfer, the object transferred in W is V, and W ends up at Y has the modal force of possibility holds during Z |
| (=> (and (instance ?O Object) (instance ?C Closing) (patient ?C ?O)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (attribute ?O Closed))) |
Mid-level-ontology.kif 23886-23892 | If X is an instance of object, Y is an instance of closing, and X is a patient of Y, then closed is an attribute of X holds during immediately after the time of existence of Y |
| (=> (and (instance ?B Blade) (instance ?CUT Cutting) (instance ?OBJ Object) (instrument ?CUT ?B) (patient ?CUT ?OBJ)) (meetsSpatially ?B ?OBJ)) |
Mid-level-ontology.kif 24409-24416 | If X is an instance of blade, Y is an instance of cutting, Z is an instance of object, X is an instrument for Y, and Z is a patient of Y, then X meets Z |
| (=> (and (?ROLE ?EVENT ?OBJ) (instance ?ROLE CaseRole) (instance ?EVENT Process) (instance ?OBJ Object)) (playsRoleInEvent ?OBJ ?ROLE ?EVENT)) |
Mid-level-ontology.kif 25630-25636 | If X Y and Z, X is an instance of case role, Y is an instance of process, and Z is an instance of object, then Z plays role in event X for Y |
| (=> (and (attribute ?X ?Y) (instance ?Y TemperatureAttribute) (instance ?X Object)) (exists (?TEMP) (and (measure ?X ?TEMP) (instance ?TEMP TemperatureMeasure) (attribute ?TEMP ?Y)))) |
Mid-level-ontology.kif 28351-28360 | If X is an attribute of Y, X is an instance of temperature attribute, and Y is an instance of object, then there exists Z such that the measure of Y is Z, Z is an instance of temperature measure, and X is an attribute of Z |
| (=> (and (instance ?MAF MovingAwayFrom) (instance ?RELATIVEOBJECT Object) (instance ?REFERENCEOBJECT Object) (patient ?MAF ?RELATIVEOBJECT) (patient ?MAF ?REFERENCEOBJECT)) (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE ?U) (and (instance ?BEFOREDISTANCE RealNumber) (instance ?AFTERDISTANCE RealNumber) (moves ?MAF ?RELATIVEOBJECT) (holdsDuring (BeginFn (WhenFn ?MAF)) (distance ?RELATIVEOBJECT ?REFERENCEOBJECT (MeasureFn ?BEFOREDISTANCE ?U))) (holdsDuring (EndFn (WhenFn ?MAF)) (distance ?RELATIVEOBJECT ?REFERENCEOBJECT (MeasureFn ?AFTERDISTANCE ?U))) (greaterThan ?AFTERDISTANCE ?BEFOREDISTANCE)))) |
Mid-level-ontology.kif 34511-34531 | If X is an instance of moving away from, Y is an instance of object, Z is an instance of object, Y is a patient of X, and Z is a patient of X, then there exist Z, W,, , V and U such that W is an instance of real number and V is an instance of real number and Y moves during X and the distance between Y and Z is W U(s) holds during the beginning of the time of existence of X and the distance between Y and Z is V U(s) holds during the end of the time of existence of X and V is greater than W |
| (=> (and (instance ?MT MovingTowards) (instance ?RELATIVEOBJECT Object) (instance ?REFERENCEOBJECT Object) (patient ?MT ?REFERENCEOBJECT) (patient ?MT ?RELATIVEOBJECT)) (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE ?U) (and (instance ?BEFOREDISTANCE RealNumber) (instance ?AFTERDISTANCE RealNumber) (instance ?U UnitOfLength) (moves ?MT ?RELATIVEOBJECT) (holdsDuring (BeginFn (WhenFn ?MT)) (distance ?RELATIVEOBJECT ?REFERENCEOBJECT (MeasureFn ?BEFOREDISTANCE ?U))) (holdsDuring (EndFn (WhenFn ?MT)) (distance ?RELATIVEOBJECT ?REFERENCEOBJECT (MeasureFn ?AFTERDISTANCE ?U))) (greaterThan ?BEFOREDISTANCE ?AFTERDISTANCE)))) |
Mid-level-ontology.kif 34538-34559 | If X is an instance of moving towards, Y is an instance of object, Z is an instance of object, Z is a patient of X, and Y is a patient of X, then there exist Z, W,, , V and U such that W is an instance of real number and V is an instance of real number and U is an instance of unit of length and Y moves during X and the distance between Y and Z is W U(s) holds during the beginning of the time of existence of X and the distance between Y and Z is V U(s) holds during the end of the time of existence of X and W is greater than V |
| (=> (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 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 (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure))) |
Economy.kif 5594-5601 | If equal X and Object made from Y and X is a subclass of object, then Y is a subclass of organism or Y is a subclass of anatomical structure |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (changesLocation ?EVENT ?OBJ) (and (instance ?EVENT Translocation) (instance ?OBJ Object) (or (patient ?EVENT ?OBJ) (agent ?EVENT ?OBJ) (experiencer ?EVENT ?OBJ)))) |
Merge.kif 11161-11169 | If X is a changes location of Y, then Y is an instance of translocation, X is an instance of object, and At least one of the following holds: (1) X is a patient of Y (2) X is an agent of Y (3) X experiences Y |
| (=> (instance ?MOTION Motion) (exists (?OBJ) (and (instance ?OBJ Object) (moves ?MOTION ?OBJ)))) |
Merge.kif 11176-11181 | If X is an instance of motion, then there exists Y such that Y is an instance of object and Y moves during X |
| (=> (instance ?T Translocation) (exists (?O ?D ?P) (and (instance ?O Object) (instance ?D Object) (instance ?P Object) (path ?T ?P) (origin ?T ?O) (destination ?T ?D)))) |
Merge.kif 11739-11748 | If X is an instance of translocation, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of object (3) Z is an instance of object (4) W is an instance of object (5) W is path along which X occurs (6) X originates at Y (7) X ends up at Z |
| (=> (instance ?PURSUE Pursuing) (exists (?OBJ) (and (instance ?OBJ Object) (patient ?PURSUE ?OBJ)))) |
Merge.kif 13054-13059 | If X is an instance of pursuing, then there exists Y such that Y is an instance of object and Y is a patient of X |
| (=> (instance ?S Searching) (exists (?AGENT ?OBJ ?LOC) (and (instance ?AGENT CognitiveAgent) (agent ?S ?AGENT) (instance ?OBJ Physical) (patient ?S ?OBJ) (instance ?LOC Object) (located ?OBJ ?LOC) (hasPurposeForAgent ?S ?AGENT (knows ?AGENT (located ?OBJ ?LOC)))))) |
Merge.kif 13146-13158 | If X is an instance of searching, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of cognitive agent (3) Y is an agent of X (4) Z is an instance of physical (5) Z is a patient of X (6) W is an instance of object (7) Z is located at W (8) X has the purpose Y for Y knows Z is located at W |
| (=> (and (instance ?S Searching) (patient ?S ?OBJ) (instance ?OBJ Physical)) (exists (?LOC ?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?S ?AGENT) (instance ?LOC Object) (located ?OBJ ?LOC) (hasPurposeForAgent ?S ?AGENT (knows ?AGENT (located ?OBJ ?LOC)))))) |
Merge.kif 13160-13173 | If X is an instance of searching, Y is a patient of X, and Y is an instance of physical, then there exist Z, W such that W is an instance of cognitive agent, W is an agent of X, Z is an instance of object, Y is located at Z, and X has the purpose W for W knows Y is located at Z |
| (=> (relativeAngle ?L1 ?L2 ?M) (and (instance ?L1 Object) (attribute ?L1 LongAndThin) (instance ?L2 Object) (attribute ?L2 LongAndThin) (connected ?L1 ?L2) (not (equal ?L1 ?L2)))) |
Merge.kif 18097-18106 | If the relative angle between X and Y is Z, then All of the following hold: (1) X is an instance of object (2) long and thin is an attribute of X (3) Y is an instance of object (4) long and thin is an attribute of Y (5) X is connected to Y (6) equal X and Y |
| (=> (instance ?VM VendingMachine) (hasPurpose ?VM (exists (?H ?O ?V) (and (instance ?V Vending) (instance ?H Human) (instance ?O Object) (objectTransferred ?V ?O) (instrument ?V ?VM) (origin ?V ?VM) (not (instance ?O Currency)) (destination ?V ?H))))) |
Mid-level-ontology.kif 2440-2453 | If X is an instance of vending machine, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of vending (3) Y is an instance of human (4) Z is an instance of object (5) the object transferred in W is Z (6) X is an instrument for W (7) W originates at X (8) Z is not an instance of currency (9) W ends up at Y |
| (=> (attribute ?X Locked) (instance ?X Object)) |
Mid-level-ontology.kif 3196-3198 | If locked is an attribute of X, then X is an instance of object |
| (=> (instance ?PD PaintingDevice) (hasPurpose ?PD (exists (?STUFF ?COVER ?SURF ?OBJ) (and (instance ?STUFF Substance) (instance ?COVER Covering) (instance ?OBJ Object) (surface ?SURF ?OBJ) (agent ?COVER ?PD) (instrument ?COVER ?STUFF) (patient ?COVER ?SURF))))) |
Mid-level-ontology.kif 3722-3733 | If X is an instance of painting device, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of substance (3) Z is an instance of covering (4) V is an instance of object (5) W is a surface of V (6) X is an agent of Z (7) Y is an instrument for Z (8) W is a patient of Z |
| (=> (instance ?X Sculpting) (exists (?SC ?OBJ) (and (instance ?OBJ Object) (patient ?X ?OBJ) (instance ?SC ShapeChange) (subProcess ?SC ?X) (patient ?SC ?OBJ)))) |
Mid-level-ontology.kif 3740-3748 | If X is an instance of sculpting, then there exist Y, Z such that Z is an instance of object, Z is a patient of X, Y is an instance of shape change, Y is a subprocess of X, and Z is a patient of Y |
| (=> (instance ?BAG Bag) (hasPurpose ?BAG (exists (?T ?OBJ) (and (instance ?T Transfer) (instance ?OBJ Object) (contains ?BAG ?OBJ) (instrument ?T ?BAG) (patient ?T ?OBJ))))) |
Mid-level-ontology.kif 4923-4932 | If X is an instance of bag, then X has the purpose there exist Y, Z such that Y is an instance of transfer, Z is an instance of object, X contains Z, X is an instrument for Y, and Z is a patient of Y |
| (=> (and (instance ?C Coughing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?L ?O ?T) (and (instance ?L Lung) (instance ?T Throat) (instance ?O Object) (instance ?R Removing) (part ?L ?H) (part ?T ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (or (located ?O ?T) (located ?O ?L))))))) |
Mid-level-ontology.kif 7012-7031 | If X is an instance of coughing and Y experiences X, then All of the following hold: (1) X has the purpose there exist Z, W,, , V (2) U such that W is an instance of lung (3) U is an instance of throat (4) V is an instance of object (5) Z is an instance of removing (6) W is a part of Y (7) U is a part of Y (8) the object transferred in Z is V (9) V is located at U or V is located at W holds during immediately before the time of existence of X |
| (=> (and (instance ?C Sneezing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?N ?NOSE ?O) (and (instance ?N NasalCavity) (instance ?NOSE Nose) (equal ?NOSE (HoleHostFn ?N)) (instance ?O Object) (instance ?R Removing) (part ?NOSE ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (located ?O ?N)))))) |
Mid-level-ontology.kif 7078-7096 | If X is an instance of sneezing and Y experiences X, then All of the following hold: (1) X has the purpose there exist Z, W,, , V (2) U such that W is an instance of nasal cavity (3) V is an instance of nose (4) equal V (5) the host of the hole W (6) U is an instance of object (7) Z is an instance of removing (8) V is a part of Y (9) the object transferred in Z is U (10) U is located at W holds during immediately before the time of existence of X |
| (=> (instance ?R PositionReport) (containsFormula ?R (exists (?O ?A) (and (instance ?O Object) (instance ?A Region) (holdsDuring (WhenFn ?R) (located ?O ?A)))))) |
Mid-level-ontology.kif 7741-7749 | If X is an instance of position report, then X contains the formula there exist Y, Z such that Y is an instance of object, Z is an instance of region, and Y is located at Z holds during the time of existence of X |
| (=> (and (instance ?C Choking) (experiencer ?C ?H)) (exists (?O ?T ?L) (and (instance ?O Object) (instance ?T Trachea) (instance ?L Lung) (part ?T ?H) (part ?L ?H) (holdsDuring (WhenFn ?C) (or (located ?O ?T) (located ?O ?L)))))) |
Mid-level-ontology.kif 13151-13166 | If X is an instance of choking and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of object (3) W is an instance of trachea (4) V is an instance of lung (5) W is a part of Y (6) V is a part of Y (7) Z is located at W or Z is located at V holds during the time of existence of X |
| (=> (instance ?C Consuming) (exists (?O ?D) (and (patient ?C ?O) (instance ?O Object) (resource ?C ?O) (subProcess ?D ?C) (instance ?D Decreasing) (patient ?D ?O) (causes ?C ?D)))) |
Mid-level-ontology.kif 18842-18852 | If X is an instance of consuming, then All of the following hold: (1) there exist Y (2) Z such that Y is a patient of X (3) Y is an instance of object (4) Y is a resource for X (5) Z is a subprocess of X (6) Z is an instance of decreasing (7) Y is a patient of Z (8) X causes Z |
| (=> (instance ?D Disappearing) (exists (?OBJ ?AGENT ?SEARCH ?TIME) (and (instance ?SEARCH Searching) (earlier (WhenFn ?D) (WhenFn ?SEARCH)) (agent ?SEARCH ?AGENT) (instance ?OBJ Object) (patient ?D ?OBJ) (patient ?SEARCH ?OBJ) (instance ?TIME TimeInterval) (temporalPart ?TIME (WhenFn ?SEARCH)) (holdsDuring ?TIME (not (modalAttribute (exists (?DISC) (and (instance ?DISC Discovering) (agent ?DISC ?AGENT) (patient ?DISC ?OBJ))) Possibility)))))) |
Mid-level-ontology.kif 19133-19155 | If X is an instance of disappearing, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of searching (3) the time of existence of X happens earlier than the time of existence of W (4) Z is an agent of W (5) Y is an instance of object (6) Y is a patient of X (7) Y is a patient of W (8) V is an instance of timeframe (9) V is a part of the time of existence of W (10) the statement there doesn't exist U such that U is an instance of discovering (11) Z is an agent of U (12) Y is a patient of U doesn't have the modal force of possibility holds during V |
| (=> (instance ?X Protecting) (hasPurpose ?X (exists (?OBJ ?T ?H ?HARM) (and (instance ?OBJ Object) (patient ?X Object) (subclass ?HARM (KappaFn ?H (and (or (instance ?H CriminalAction) (instance ?H Damaging)) (=> (holdsDuring ?T (patient ?H ?OBJ)) (not (holdsDuring ?T (patient ?X ?OBJ))))))) (or (prevents ?X ?HARM) (hinders ?X ?HARM)))))) |
Mid-level-ontology.kif 20352-20373 | If X is an instance of protecting, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of object, object is a patient of X, V is a subclass of the class described by W, and X prevents the occurrence of V or X hinders V |
| (=> (instance ?A Awarding) (exists (?RECIPIENT ?GIVER ?PROCESS ?AWARD) (and (instance ?RECIPIENT AutonomousAgent) (instance ?GIVER AutonomousAgent) (instance ?PROCESS Process) (instance ?AWARD Object) (agent ?PROCESS ?RECIPIENT) (agent ?A ?GIVER) (patient ?A ?AWARD) (destination ?A ?RECIPIENT) (causes ?PROCESS ?A)))) |
Mid-level-ontology.kif 20579-20591 | If X is an instance of awarding, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of agent (3) Z is an instance of agent (4) W is an instance of process (5) V is an instance of object (6) Y is an agent of W (7) Z is an agent of X (8) V is a patient of X (9) X ends up at Y (10) W causes X |
| (=> (and (instance ?X Argument) (instance ?R Reasoning) (instance ?A Archeology) (subProposition ?X ?A) (realization ?R ?X)) (exists (?D ?S ?O ?T ?W ?L) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O (MeasureFn ?T YearDuration)) (greaterThan ?T 50) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below))))))) |
Mid-level-ontology.kif 23455-23485 | If X is an instance of argument, Y is an instance of reasoning, Z is an instance of archeology, X is a sub-proposition of Z, and Y expresses the content of X, then there exist W, V,, , U,, , T,, , S and R such that W is an instance of discovering and U is an instance of object and U is a patient of W and Y includes a reference to W and the time of existence of W happens earlier than the time of existence of Y and the age of U is T year duration(s) and T is greater than 50 and V is a surface of S and S is an instance of body of water and U is below to V or V is a surface of R and R is an instance of land area and U is below to V holds during immediately before the time of existence of W |
| (=> (and (attribute ?X ?ATTR) (instance ?ATTR SizeAttribute)) (instance ?X Object)) |
Mid-level-ontology.kif 27721-27725 | If X is an attribute of Y and X is an instance of size attribute, then Y is an instance of object |
| (=> (attribute ?X Clean) (instance ?X Object)) |
Mid-level-ontology.kif 27963-27965 | If clean is an attribute of X, then X is an instance of object |
| (=> (attribute ?X Dirty) (instance ?X Object)) |
Mid-level-ontology.kif 27967-27969 | If dirty is an attribute of X, then X is an instance of object |
| (=> (attribute ?X HandicappedFriendly) (instance ?X Object)) |
Mid-level-ontology.kif 28844-28846 | If handicapped friendly is an attribute of X, then X is an instance of object |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|