![]() |
![]() ![]() ![]()
|
![]() |
|
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 839-840 | |
(subclass SelfConnectedObject Object) | Merge.kif 837-837 |
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 9413-9418 | |
(=> (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 1987-1999 | |
(=> (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 4839-4853 | |
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL1) (instance ?MEMBER SelfConnectedObject)) (exists (?COLL3) (and (instance ?COLL3 Collection) (member ?MEMBER ?COLL3) (member ?COLL3 ?COLL2)))) |
UXExperimentalTerms.kif 4828-4837 | |
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL2) (instance ?MEMBER SelfConnectedObject)) (instance ?MEMBER Collection)) |
UXExperimentalTerms.kif 4821-4826 | |
(=> (instance ?OBJ SelfConnectedObject) (side (BackFn ?OBJ) ?OBJ)) |
Merge.kif 885-887 | |
(=> (instance ?OBJ SelfConnectedObject) (side (FrontFn ?OBJ) ?OBJ)) |
Merge.kif 866-868 |
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 ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (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 ?P1 ?PM)) (measure ?X (MeasureFn ?P2 ?PM)) (instance ?PM UnitOfAtmosphericPressure) (greaterThan ?P2 ?P1)))) |
Cars.kif 403-416 | |
(=> (instance ?COMBINE Combining) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?COMBINE ?OBJ)))) |
Merge.kif 12237-12242 | |
(=> (instance ?LABEL Label) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (connected ?LABEL ?OBJ) (refers ?LABEL ?OBJ)))) |
Mid-level-ontology.kif 13943-13949 | |
(=> (instance ?SEPARATE Separating) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?SEPARATE ?OBJ)))) |
Merge.kif 12253-12258 |
![]() |
![]() |