| SelfConnectedObject(self connected object) | | A-horizon, A_horizon, B-horizon, B_horizon, C-horizon, C_horizon, absorbate, absorbent, absorbent_material, absorber, acrylic, acrylic_fiber, adsorbate, adsorbent, adsorbent_material, ball, bar, bed, belay, belting, black_body, blackbody, blade, blank, bodied, body, bog_soil, broken, building_material, cannel_coal, chunk, cinder, clinker, clod, clump, coal, coal_seam, coalface, continuum, crash_barrier, debris, detritus, diamagnet, diapir, drift, drumlin, dust, ember, faced, feedstock... |
| appearance as argument number 1 |
|
|
| (subclass SelfConnectedObject Object) | Merge.kif 854-854 | Self connected object is a subclass of object |
| (documentation SelfConnectedObject EnglishLanguage "A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.") | Merge.kif 856-857 | Self connected object is a subclass of object |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (instance ?OBJ SelfConnectedObject) (side (FrontFn ?OBJ) ?OBJ)) |
Merge.kif 883-885 | If X is an instance of self connected object, then a side of X is the front of X |
| (=> (instance ?OBJ SelfConnectedObject) (side (BackFn ?OBJ) ?OBJ)) |
Merge.kif 903-905 | If X is an instance of self connected object, then a side of X is the back of X |
| (=> (and (instance ?OBJ SelfConnectedObject) (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))) (connected ?PART1 ?PART2)) |
Merge.kif 9662-9666 | If X is an instance of self connected object and equal X, the union of the parts of Y, and Z, then Y is connected to Z |
| (=> (and (instance ?SCO SelfConnectedObject) (instance ?C Compressing) (patient ?C ?SCO) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N1 ?V))) (instance ?V UnitOfVolume) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N2 ?V)))) (greaterThan ?N1 ?N2)) |
Cars.kif 1979-1995 | If All of the following hold: (1) X is an instance of self connected object (2) Y is an instance of compressing (3) X is a patient of Y (4) the measure of X is Z W(s) holds during immediately before the time of existence of Y (5) W is an instance of unit of volume (6) the measure of X is V W(s) holds during immediately after the time of existence of Y, then Z is greater than V |
| (=> (and (instance ?X PartInspection) (patient ?X ?P) (instance ?P SelfConnectedObject)) (exists (?A ?M) (and (part ?P ?A) (instance ?A Artifact) (instance ?M Manufacture) (result ?M ?A) (subProcess ?X ?M)))) |
Economy.kif 2054-2065 | If X is an instance of part inspection, Y is a patient of X, and Y is an instance of self connected object, then there exist Z, W such that Y is a part of Z, Z is an instance of artifact, W is an instance of manufacture, Z is a result of W, and X is a subprocess of W |
| (=> (and (maximumPayloadCapacity ?V (MeasureFn ?WEIGHT ?UNITWEIGHT)) (maximumPayloadHeightWidth ?V (MeasureFn ?HEIGHT ?UNITHEIGHT) (MeasureFn ?WIDTH ?UNITWIDTH)) (instance ?O SelfConnectedObject) (weight ?O (MeasureFn ?WEO ?WEOU)) (width ?O (MeasureFn ?WO ?WOU)) (height ?O (MeasureFn ?HO ?HOU)) (equal ?WEOU ?UNITWEIGHT) (equal ?WOU ?UNITWIDTH) (equal ?HOU ?UNITHEIGHT) (lessThanOrEqualTo ?WEO ?WEIGHT) (lessThanOrEqualTo ?WO ?WIDTH) (lessThanOrEqualTo ?HO ?HEIGHT)) (capability (KappaFn ?TRANSPORT (and (instance ?TRANSPORT Transportation) (patient ?TRANSPORT ?O))) instrument ?V)) |
MilitaryDevices.kif 144-169 | If All of the following hold: (1) X Y(s) is a maximum payload capacity of Z (2) Z is maximum payload height width W V(s) for U T(s) (3) S is an instance of self connected object (4) R Q(s) is a weight of S (5) the width of S is P O(s) (6) the height of S is N M(s) (7) equal Q and Y (8) equal O and T (9) equal M and V (10) R is less than or equal to X (11) P is less than or equal to U (12) N is less than or equal to W, then Z is capable of doing the class described by L as a instrument |
| (=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL2) (instance ?MEMBER SelfConnectedObject)) (instance ?MEMBER Collection)) |
UXExperimentalTerms.kif 4617-4622 | If X and Y are mutually exclusive, Z is a member of Y, and Z is an instance of self connected object, then Z is an instance of collection |
| (=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL1) (instance ?MEMBER SelfConnectedObject)) (exists (?COLL3) (and (instance ?COLL3 Collection) (member ?MEMBER ?COLL3) (member ?COLL3 ?COLL2)))) |
UXExperimentalTerms.kif 4624-4633 | If X and Y are mutually exclusive, Z is a member of X, and Z is an instance of self connected object, then there exists W such that W is an instance of collection, Z is a member of W, and W is a member of Y |
| (=> (and (meceCollection ?COLL1 ?COLL2) (instance ?COLL3 Collection) (instance ?COLL4 Collection) (instance ?MEMBER SelfConnectedObject) (member ?MEMBER ?COLL1) (member ?COLL3 ?COLL2) (member ?COLL4 ?COLL2) (not (equal ?COLL3 ?COLL4))) (not (and (member ?MEMBER ?COLL3) (member ?MEMBER ?COLL4)))) |
UXExperimentalTerms.kif 4635-4649 | If All of the following hold: (1) X and Y are mutually exclusive (2) Z is an instance of collection (3) W is an instance of collection (4) V is an instance of self connected object (5) V is a member of X (6) Z is a member of Y (7) W is a member of Y (8) equal Z and W, then ~{ V is a member of Z } or ~{ V is a member of W } |
| consequent |
|
|
| (=> (and (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2)) (instance ?OBJ SelfConnectedObject)) |
Merge.kif 9668-9672 | If equal X, the union of the parts of Y, and Z and Y is connected to Z, then X is an instance of self connected object |
| (=> (instance ?COMBINE Combining) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?COMBINE ?OBJ)))) |
Merge.kif 12656-12661 | If X is an instance of combining, then there exists Y such that Y is an instance of self connected object and Y is a patient of X |
| (=> (instance ?SEPARATE Separating) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?SEPARATE ?OBJ)))) |
Merge.kif 12672-12677 | If X is an instance of separating, then there exists Y such that Y is an instance of self connected object and Y is a patient of X |
| (=> (instance ?LABEL Label) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (connected ?LABEL ?OBJ) (refers ?LABEL ?OBJ)))) |
Mid-level-ontology.kif 16032-16038 | If X is an instance of label, then there exists Y such that Y is an instance of self connected object, X is connected to Y, and X includes a reference to Y |
| (=> (attribute ?X PartialVacuum) (exists (?O ?G ?P1 ?P2 ?PM) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P1 ?P2)))) |
Cars.kif 383-396 | If partial vacuum is an attribute of X, then there exist Y, Z,, , W,, , V and U such that Y is an instance of self connected object and Z is an instance of region and equal Z and X and X is connected to Y and Z is connected to Y and the measure of Z is W U(s) and the measure of X is V U(s) and U is an instance of unit of atmospheric pressure and W is greater than V |
| (=> (attribute ?X Pressurized) (exists (?O ?G ?P1 ?P2 ?PM) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P2 ?P1)))) |
Cars.kif 403-416 | If pressurized is an attribute of X, then there exist Y, Z,, , W,, , V and U such that Y is an instance of self connected object and Z is an instance of region and equal Z and X and X is connected to Y and Z is connected to Y and the measure of Z is W U(s) and the measure of X is V U(s) and U is an instance of unit of atmospheric pressure and V is greater than W |
| (=> (instance ?X PartInspection) (hasPurpose ?X (exists (?O ?P) (and (instance ?O SelfConnectedObject) (patient ?X ?O) (instance ?P Proposition) (refers ?P ?O) (modalAttribute (conforms ?O ?P) Necessity))))) |
Economy.kif 2067-2077 | If X is an instance of part inspection, then X has the purpose there exist Y, Z such that Y is an instance of self connected object, Y is a patient of X, Z is an instance of proposition, Z includes a reference to Y, and the statement Y conforms to Z has the modal force of necessity |
| (=> (instance ?P ProductAssembly) (exists (?O ?Q ?W) (and (patient ?P ?O) (patient ?P ?Q) (not (equal ?O ?Q)) (instance ?O SelfConnectedObject) (instance ?Q SelfConnectedObject) (part ?O ?W) (part ?Q ?W) (instance ?W Artifact) (result ?P ?W)))) |
Economy.kif 2144-2157 | If X is an instance of Product assembly, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a patient of X (3) Z is a patient of X (4) equal Y (5) Z (6) Y is an instance of self connected object (7) Z is an instance of self connected object (8) Y is a part of W (9) Z is a part of W (10) W is an instance of artifact (11) W is a result of X |
| (=> (and (instance ?P ThreeDPrinting) (instance ?O Artifact) (result ?P ?O)) (exists (?A ?X ?B ?Y) (and (instance ?A Making) (subProcess ?A ?P) (instance ?X SelfConnectedObject) (part ?X ?O) (result ?A ?X) (instance ?B Making) (subProcess ?B ?P) (instance ?Y SelfConnectedObject) (part ?Y ?O) (overlapsSpatially ?X ?Y) (orientation ?X ?Y Below) (during (WhenFn ?A) (WhenFn ?P)) (during (WhenFn ?B) (WhenFn ?P)) (earlier (WhenFn ?A) (WhenFn ?B))))) |
QoSontology.kif 531-557 | If X is an instance of 3D printing, Y is an instance of artifact, and Y is a result of X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of making (3) Z is a subprocess of X (4) W is an instance of self connected object (5) W is a part of Y (6) W is a result of Z (7) V is an instance of making (8) V is a subprocess of X (9) U is an instance of self connected object (10) U is a part of Y (11) W (12) U overlapsSpatially (13) W is below to U (14) the time of existence of Z takes place during the time of existence of X (15) the time of existence of V takes place during the time of existence of X (16) the time of existence of Z happens earlier than the time of existence of V |
|
|
|