SelfConnectedObject | ![]() |
appearance as argument number 1 |
![]() |
(documentation SelfConnectedObject ChineseLanguage " SelfConnectedObject 是任何并非由两个或以上不相连部分所组成的 Object。") | chinese_format.kif 1555-1556 | |
(documentation SelfConnectedObject EnglishLanguage "A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.") | Merge.kif 822-823 | |
(subclass SelfConnectedObject Object) | Merge.kif 820-820 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
antecedent |
![]() |
(<=> (instance ?OBJ SelfConnectedObject) (forall (?PART1 ?PART2) (=> (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2)))) |
Merge.kif 8985-8990 | |
(=> (and (instance ?SCO SelfConnectedObject) (instance ?C Compressing) (patient ?C ?SCO) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N1 ?V))) (instance ?V VolumeMeasure) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (measure ?SCO (MeasureFn ?N2 ?V)))) (greaterThan ?N1 ?N2)) |
Cars.kif 1974-1986 | |
(=> (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 | |
(=> (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 4838-4852 | |
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL1) (instance ?MEMBER SelfConnectedObject)) (exists (?COLL3) (and (instance ?COLL3 Collection) (member ?MEMBER ?COLL3) (member ?COLL3 ?COLL2)))) |
UXExperimentalTerms.kif 4827-4836 | |
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL2) (instance ?MEMBER SelfConnectedObject)) (instance ?MEMBER Collection)) |
UXExperimentalTerms.kif 4820-4825 | |
(=> (instance ?OBJ SelfConnectedObject) (side (BackFn ?OBJ) ?OBJ)) |
Merge.kif 868-870 | |
(=> (instance ?OBJ SelfConnectedObject) (side (FrontFn ?OBJ) ?OBJ)) |
Merge.kif 849-851 |
consequent |
![]() |
(=> (attribute ?X PartialVacuum) (exists (?O ?G) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?PM ?P1)) (measure ?X (MeasureFn ?PM ?P2)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P1 ?P2)))) |
Cars.kif 383-396 | |
(=> (attribute ?X Pressurized) (exists (?O ?G) (and (instance ?O SelfConnectedObject) (instance ?G Region) (not (equal ?G ?X)) (connected ?X ?O) (connected ?G ?O) (measure ?G (MeasureFn ?PM ?P1)) (measure ?X (MeasureFn ?PM ?P2)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P2 ?P1)))) |
Cars.kif 403-416 | |
(=> (instance ?COMBINE Combining) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?COMBINE ?OBJ)))) |
Merge.kif 11591-11596 | |
(=> (instance ?LABEL Label) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (connected ?LABEL ?OBJ) (refers ?LABEL ?OBJ)))) |
Mid-level-ontology.kif 12213-12219 | |
(=> (instance ?SEPARATE Separating) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?SEPARATE ?OBJ)))) |
Merge.kif 11607-11612 |
![]() |
![]() |