| CorpuscularObject(corpuscular object) | | Band_Aid, Blarney_Stone, aerie, aery, air_bubble, articulate, articulated, back, backrest, band, beehive, bicameral, bifurcate, bifurcated, biramous, blind_bend, blind_curve, bodied, branched, caliche, chambered, coat, coat_of_paint, coating, commemorative, complex, composite, conglomerate, consolidation, corporal, corporate, custom-built, custom-made, cut, discard, disposable, divot, embodied, eyrie, eyry, facial_tissue, fiber, fibre, fibril, filament, finish, finishing, flag, flagstone, float... |
| appearance as argument number 1 |
|
|
| (subclass CorpuscularObject SelfConnectedObject) | Merge.kif 1261-1261 | Corpuscular object is a subclass of self connected object |
| (disjoint CorpuscularObject Substance) | Merge.kif 1262-1262 | Corpuscular object is disjoint from substance |
| (documentation CorpuscularObject EnglishLanguage "A SelfConnectedObject whose parts have properties that are not shared by the whole.") | Merge.kif 1263-1264 | Corpuscular object is disjoint from substance |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain component 1 CorpuscularObject) | Merge.kif 977-977 | The number 1 argument of component is an instance of corpuscular object |
| (domain component 2 CorpuscularObject) | Merge.kif 978-978 | The number 2 argument of component is an instance of corpuscular object |
| (domain material 2 CorpuscularObject) | Merge.kif 989-989 | The number 2 argument of material is an instance of corpuscular object |
| (domainSubclass substanceElement 1 CorpuscularObject) | Merge.kif 1277-1277 | The number 1 argument of substance element is a subclass of corpuscular object |
| (domain AmountsFn 2 CorpuscularObject) | Merge.kif 7652-7652 | The number 2 argument of Amounts fn is an instance of corpuscular object |
| (domain amount 2 CorpuscularObject) | Merge.kif 7668-7668 | The number 2 argument of amount is an instance of corpuscular object |
| (domain sliceOfFigure 2 CorpuscularObject) | Mid-level-ontology.kif 5305-5305 | The number 2 argument of slice of figure is an instance of corpuscular object |
| antecedent |
|
|
| (=> (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 4365-4377 | 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 4379-4392 | 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 Collection) (forall (?M) (=> (member ?M ?C) (part ?M ?O))))))) |
Food.kif 1013-1027 | 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 |
| (=> (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 1266-1274 | 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 |
| consequent |
|
|
| (=> (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 2844-2873 | 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 ?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 4353-4363 | 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 |
| (=> (instance ?ATTACH Attaching) (exists (?OBJ) (and (instance ?OBJ CorpuscularObject) (patient ?ATTACH ?OBJ)))) |
Merge.kif 12541-12546 | 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 12591-12596 | 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 ?W WasherForBolt) (hasPurpose ?W (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 AttachingDevice) (meetsSpatially ?O1 ?W) (contains ?W ?O2))))) |
Mid-level-ontology.kif 4745-4753 | 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 |
| (=> (and (instance ?R Rotating) (patient ?R ?TRACK) (instance ?TRACK ContinuousTrack)) (exists (?COLL ?MEM ?I ?TREAD ?R2) (and (instance ?COLL Collection) (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 193-212 | 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 |
|
|
|