Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CorpuscularObject
|
|
|
| appearance as argument number 1 |
|
|
| (subclass CorpuscularObject SelfConnectedObject) | Merge.kif 1299-1299 | Corpuscular object is a subclass of self connected object |
| (disjoint CorpuscularObject Substance) | Merge.kif 1300-1300 | Corpuscular object is disjoint from substance |
| (documentation CorpuscularObject EnglishLanguage "A SelfConnectedObject whose parts have properties that are not shared by the whole.") | Merge.kif 1301-1302 | Corpuscular object is disjoint from substance |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain component 1 CorpuscularObject) | Merge.kif 976-976 | The number 1 argument of component is an instance of corpuscular object |
| (domain component 2 CorpuscularObject) | Merge.kif 977-977 | The number 2 argument of component is an instance of corpuscular object |
| (domain material 2 CorpuscularObject) | Merge.kif 988-988 | The number 2 argument of material is an instance of corpuscular object |
| (domainSubclass substanceElement 1 CorpuscularObject) | Merge.kif 1315-1315 | The number 1 argument of substance element is a subclass of corpuscular object |
| (domain AmountsFn 2 CorpuscularObject) | Merge.kif 7721-7721 | The number 2 argument of Amounts fn is an instance of corpuscular object |
| (domain amount 2 CorpuscularObject) | Merge.kif 7737-7737 | The number 2 argument of amount is an instance of corpuscular object |
| (domain sliceOfFigure 2 CorpuscularObject) | Mid-level-ontology.kif 5434-5434 | The number 2 argument of slice of figure is an instance of corpuscular object |
| antecedent |
|
|
| (=> (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 (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?P) (and (part ?P ?H) (meetsSpatially ?P ?HR)))) |
Cars.kif 4194-4206 | If All of the following hold: (1) X is an instance of reel (2) Y is an instance of keeping (3) Z is an instance of corpuscular object (4) long and thin is an attribute of Z (5) pliable is an attribute of Z (6) X is an instrument for Y (7) Z is a patient of Y, then there exists W such that W is a part of Z and W meets X |
| (=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?R) (and (instance ?R Rotating) (patient ?R ?HR) (subProcess ?R ?K)))) |
Cars.kif 4208-4221 | If All of the following hold: (1) X is an instance of reel (2) Y is an instance of keeping (3) Z is an instance of corpuscular object (4) long and thin is an attribute of Z (5) pliable is an attribute of Z (6) X is an instrument for Y (7) Z is a patient of Y, then there exists W such that W is an instance of rotating, X is a patient of W, and W is a subprocess of Y |
| (=> (and (instance ?G Grinding) (patient ?G ?O) (instance ?O CorpuscularObject)) (holdsDuring (EndFn (WhenFn ?G)) (exists (?C) (and (result ?G ?C) (instance ?C CollectionOfObjects) (forall (?M) (=> (member ?M ?C) (part ?M ?O))))))) |
Food.kif 990-1004 | If X is an instance of grinding, Y is a patient of X, and Y is an instance of corpuscular object, then there exists Z such that Z is a result of X, Z is an instance of collection, and W W is a member of ZW is a part of Y holds during the end of the time of existence of X |
| consequent |
|
|
| (=> (instance ?ATTACH Attaching) (exists (?OBJ) (and (instance ?OBJ CorpuscularObject) (patient ?ATTACH ?OBJ)))) |
Merge.kif 12655-12660 | If X is an instance of attaching, then there exists Y such that Y is an instance of corpuscular object and Y is a patient of X |
| (=> (instance ?DETACH Detaching) (exists (?OBJ) (and (instance ?OBJ CorpuscularObject) (patient ?DETACH ?OBJ)))) |
Merge.kif 12705-12710 | If X is an instance of detaching, then there exists Y such that Y is an instance of corpuscular object and Y is a patient of X |
| (=> (instance ?G Gasket) (hasPurpose ?G (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 CorpuscularObject) (meetsSpatially ?O1 ?G) (meetsSpatially ?O2 ?G) (not (exists (?H ?D ?T ?O) (and (instance ?H HoleRegion) (equal ?G (HoleHostFn ?H)) (instance ?T Translocation) (path ?T ?H) (origin ?T ?O) (destination ?T ?D) (contains ?O1 ?O) (not (contains ?O1 ?D)) (meetsSpatially ?O1 ?D) (not (exists (?O3) (and (contains ?H ?O3) (not (contains ?O1 ?O3)) (not (contains ?O2 ?O3)))))))))))) |
Cars.kif 2681-2710 | If X is an instance of gasket, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of corpuscular object (3) Z is an instance of corpuscular object (4) Y meets X (5) Z meets X (6) there don't exist W, V,, , U (7) T such that W is an instance of hole (8) equal X (9) the host of the hole W (10) U is an instance of translocation (11) W is path along which U occurs (12) U originates at T (13) U ends up at V (14) Y contains T (15) Y doesn't contain V (16) Y meets V (17) there doesn't exist S such that W contains S (18) Y doesn't contain S (19) Z doesn't contain S |
| (=> (instance ?W WasherForBolt) (hasPurpose ?W (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 AttachingDevice) (meetsSpatially ?O1 ?W) (contains ?W ?O2))))) |
Cars.kif 4079-4087 | If X is an instance of washer, then X has the purpose there exist Y, Z such that Y is an instance of corpuscular object, Z is an instance of attaching device, Y meets X, and X contains Z |
| (=> (instance ?X Reel) (hasPurpose ?X (exists (?K ?H) (and (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?X) (patient ?K ?H))))) |
Cars.kif 4182-4192 | If X is an instance of reel, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of keeping (3) Z is an instance of corpuscular object (4) long and thin is an attribute of Z (5) pliable is an attribute of Z (6) X is an instrument for Y (7) Z is a patient of Y |
| (=> (instance ?PGUIDE PhysicalGuiding) (exists (?MOVED) (and (patient ?PGUIDE ?MOVED) (instance ?MOVED CorpuscularObject)))) |
ComputerInput.kif 105-110 | If X is an instance of physical guiding, then there exists Y such that Y is a patient of X and Y is an instance of corpuscular object |
| (=> (and (instance ?R Rotating) (patient ?R ?TRACK) (instance ?TRACK ContinuousTrack)) (exists (?COLL ?MEM ?I ?TREAD ?R2) (and (instance ?COLL CollectionOfObjects) (member ?MEM ?COLL) (instance ?MEM Wheel) (memberCount ?MEM ?I) (greaterThan ?I 2) (part ?COLL ?TRACK) (part ?TREAD ?TRACK) (instance ?TREAD CorpuscularObject) (shape ?TREAD LongAndThin) (attribute ?TREAD Pliable) (located ?COLL ?TREAD) (instance ?R2 Rotating) (causes ?R2 ?R)))) |
Military.kif 195-214 | If X is an instance of rotating, Y is a patient of X, and Y is an instance of Continuous track, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is an instance of collection (3) W is a member of Z (4) W is an instance of wheel (5) V is a member count of W (6) V is greater than 2 (7) Z is a part of Y (8) U is a part of Y (9) U is an instance of corpuscular object (10) U is long and thin (11) pliable is an attribute of U (12) Z is located at U (13) T is an instance of rotating (14) T causes X |
| (=> (speedOfSound (MeasureFn ?N MeterPerSecond) ?R ?T) (holdsDuring ?T (exists (?O) (and (part ?R ?O) (instance ?0 CorpuscularObject) (material Iron ?O) (measure ?O (MeasureFn 20 CelsiusDegree)) (approximateValue ?N 5120))))) |
Transportation.kif 5160-5170 | If the speedOfSound for X meter per second(s) at Y is X meter per second(s), then there exists Z such that Y is a part of Z and W is an instance of corpuscular object and Z is made of iron and the measure of Z is 20 celsius degree(s) and the approximate value of X is 5120 holds during V |
| (=> (speedOfSound (MeasureFn ?N MeterPerSecond) ?R ?T) (holdsDuring ?T (exists (?O) (and (part ?R ?O) (instance ?0 CorpuscularObject) (material Diamond ?O) (measure ?O (MeasureFn 20 CelsiusDegree)) (approximateValue ?N 12000))))) |
Transportation.kif 5172-5182 | If the speedOfSound for X meter per second(s) at Y is X meter per second(s), then there exists Z such that Y is a part of Z and W is an instance of corpuscular object and Z is made of diamond and the measure of Z is 20 celsius degree(s) and the approximate value of X is 12000 holds during V |
|